Skip to content

Conversation

@delta1
Copy link
Member

@delta1 delta1 commented Jan 22, 2026

Documents how to merge PRs using the github-merge.py script from Bitcoin maintainer tools repo.

@apoelstra
Copy link
Member

In c73be55:

I'd suggest downloading it to $HOME/bin/ rather than into your repo where you have to gitignore it. (Actually, I have the whole maintainer-tools repo cloned, a separate workspace for the "in use" commit, and a symlink from there to my ~/bin.)

But I can see the merits to either approach.

@delta1
Copy link
Member Author

delta1 commented Jan 22, 2026

Thanks that’s a good suggestion, I’ll try that out and update the doc

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants