github Diagnose GitHub Actions failures and open pull requests. /github:gha — fix failing GitHub Actions for the current commit /github:create-pull-request — open a PR titled from the commit message, with an empty body