Well, if they are consciously moving to use the Pull Request, Issue tracker, Actions, Wiki, and other features of GitHub, and incidentally Git as part of the pa

Well, if they are consciously moving to use the Pull Request, Issue tracker, Actions, Wiki, and other features of GitHub, and incidentally Git as part of the package, then I'd say that yes, they _are_ moving to GitHub, and not just Git. Edit: I was specifically thinking on this main point they mentioned: "Programmatic APIs to enable process assistance and automation of review and processes", which to me means PR and Actions. I was just assuming that they will probably also use the Issues feature too.