12 Commits (ff63801bc0ad4c363d2e15af07f7063a3859b605)

Author SHA1 Message Date
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
Wladimir J. van der Laan da59f28335 Add deeper XML checking to update-translation script 10 years ago
Gavin Andresen c53b1ece1b
Fix github-merge with git version 2.1.0 10 years ago
Wladimir J. van der Laan 27116e87cc
devtools: Exclude default exports from symbol-checker script 10 years ago
Wladimir J. van der Laan 9dd5d79244 devtools: add a script to fetch and postprocess translations 11 years ago
Wladimir J. van der Laan 202c95c216 devtools: have symbol check script check for exported symbols 11 years ago
Wladimir J. van der Laan 74fc254c2b devtools: add script to check symbols from Linux gitian executables 11 years ago
gubatron 57702541a2 Copyright header updates s/2013/2014 on files whose last git commit was done in 2014. 11 years ago
Wladimir J. van der Laan e5adec35c6 contrib: add sipa's github-merge script 11 years ago