Skip to content

docs: add github-merge.py process for merging PRs#1528

Merged
psgreco merged 1 commit intoElementsProject:masterfrom
delta1:2026-01-merging-doc
Jan 25, 2026
Merged

docs: add github-merge.py process for merging PRs#1528
psgreco merged 1 commit intoElementsProject:masterfrom
delta1:2026-01-merging-doc

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

@delta1 delta1 force-pushed the 2026-01-merging-doc branch from c73be55 to 8f28d82 Compare January 23, 2026 10:09
@apoelstra
Copy link
Member

utACK 6c7788a

@psgreco
Copy link
Contributor

psgreco commented Jan 25, 2026

ACK 8f28d82

@psgreco psgreco merged commit 344581c into ElementsProject:master Jan 25, 2026
14 checks passed
@psgreco
Copy link
Contributor

psgreco commented Jan 25, 2026

Merged #1528 using the steps described in #1528 ;)

@delta1 delta1 deleted the 2026-01-merging-doc branch January 26, 2026 04:18
delta1 added a commit to delta1/elements that referenced this pull request Feb 11, 2026
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.

3 participants