Investigate GitHub issues and pull requests, check the exact diff and CI, and carry out explicitly requested GitHub follow-up.
