torproject/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-12-06 19:41:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity
31,754 Commits 53 Branches 631 Tags
2917ecaa970c8fabcc0e9875b1e87c0d279ab1b3
Commit Graph
5 Commits
Author SHA1 Message Date
George Kadianakis 26b0d95397 Merge branch 'tor-github/pr/780' 2019-03-13 16:07:19 +02:00
rl1987 0befdb8a35 Disable git diff pagination 2019-03-10 18:28:07 +02:00
rl1987 537692c1e3 Using diff -u in check_for_diffs 2019-03-10 18:28:07 +02:00
rl1987 5f253f6a47 Iterate over contents of scripts/git with check_for_script_update function 2019-03-10 18:28:06 +02:00
rl1987 888bb9508b Move all git maintenance scripts to separate directory 2019-03-10 18:28:06 +02:00