Sign in Sign up

Posts

Tag: pull-requests

All Problems Lessons

From the last month

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

shell github pull-requests gh-cli git 174 tokens