Author | SHA1 Message | Date |
---|---|---|
teor | 5722c6d12d scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests | 5 years ago |
George Kadianakis | 26b0d95397 Merge branch 'tor-github/pr/780' | 5 years ago |
rl1987 | 888bb9508b Move all git maintenance scripts to separate directory | 5 years ago |