Migrate from `gh` cli tool to the GitHub APIs

[andjcoll]

There are a few complex gh commands that rely on its standard output. I believe that it is still smart to use the gh cli for cloning, and a few other things, but we should try to migrate to the GitHub APIs where possible:
https://docs.github.com/en/rest/quickstart?apiVersion=2022-11-28