Gitiles
Code Review
Sign In
korap.ids-mannheim.de
/
KorAP
/
Tools
/
9d9ffd04e089b2df568e2272fd10e0c700d729a6
/
bin
/
git_gerrit_pull
0e9e5f5
Replace alias with real gerrit push to master
by Akron
· 2 years ago
39dae91
Add Koral to pull-tests
by Akron
· 2 years ago
53d1821
Do not accept any other characters than n/y
by Akron
· 2 years, 1 month ago
74994cf
Improve portability for git_gerrit_pull
by Akron
· 2 years, 1 month ago
70a2669
Update Kustvakt for Java 11
by Akron
· 2 years, 1 month ago
88ddd4a
Add pull request helper for specific pull requests
by Akron
· 2 years, 1 month ago