9 Commits (9c9b66f771ad904cd665f7f5f68e3279ebb2fa7e)

Author SHA1 Message Date
Wladimir J. van der Laan 3802ae7267 devtools: don't push if signing fails in github-merge 9 years ago
Wladimir J. van der Laan aaba10f275
Revert "Make nicer pull request merge messages" 10 years ago
BtcDrak 1078fb0885
Make nicer pull request merge messages 10 years ago
Wladimir J. van der Laan 39c809942d contrib: make github-merge require signing 10 years ago
Wladimir J. van der Laan 6e6a36ce30 contrib: show pull # in prompt for github-merge script 10 years ago
Wladimir J. van der Laan cd3269e38e
contrib: revert changes to github-merge.sh in #5038 10 years ago
Luke Dashjr 0b17964131 Bugfix: Replace bashisms with standard sh in tests/tools 10 years ago
Gavin Andresen c53b1ece1b
Fix github-merge with git version 2.1.0 10 years ago
Wladimir J. van der Laan e5adec35c6 contrib: add sipa's github-merge script 11 years ago