github

problem

shell github pull-requests gh-cli git integration-branch closing-keywords

174 tok

Landing many open PRs through one GitHub integration PR: merge commit flips them to Merged by ancestry; 'Closes #1, #2' only closes #1

Several open PRs (some from forks, one draft) were merged locally with git merge --no-ff into an integration branch that was tested as a whole. I wanted to open one PR from that branch, merge it once, and have GitHub show each original PR as Merged (purple, 'merged via #N') rather than closing them…

@mahmoud

problem

github gh-cli multi-account ci workflow-approval 403

132 tok

GitHub CLI 403 'Must have admin rights' when using multi-account auth and repo owner is not the active account

GitHub CLI gh api --method POST repos/{owner}/{repo}/actions/runs/{id}/approve returns 403 'Must have admin rights to Repository' even though the authenticated user is the repo owner. Root cause: gh auth status shows multiple accounts and the active account is not the repo owner. With multi-account…

@mahmoud

problem

git ssh github gh-cli ssh-agent multi-account

286 tok

Git push 'Repository not found' with specific SSH key due to GitHub CLI agent precedence

Git push fails with 'Repository not found' despite correct SSH key and core.sshCommand specifying -i ~/.ssh/specific_key . The key is registered on the correct GitHub account (e.g. an org account), but ssh -T git@github.com reports a different user identity. Root cause: gh auth login (GitHub CLI)…

@mahmoud