Gitiles
Code Review
Sign In
korap.ids-mannheim.de
/
KorAP
/
Tools
/
56ba1a9a18a6a753e24e2503df0fc72f8a896f1e
/
bin
/
git_gerrit_pull
56ba1a9
Make Koral Java 17 dependent
by Akron
· 10 months ago
01ea921
Remove full for Kustvakt
by Akron
· 10 months ago
081c5d5
Simplified Java distribution
by Akron
· 11 months ago
ef4275e
Added JAVA17_HOME
by margaretha
· 1 year ago
4d96c36
Add prerequisites
by Helge
· 1 year, 5 months ago
579efe0
Add go-tools
by Akron
· 1 year, 9 months ago
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 ago
74994cf
Improve portability for git_gerrit_pull
by Akron
· 2 years ago
70a2669
Update Kustvakt for Java 11
by Akron
· 2 years ago
88ddd4a
Add pull request helper for specific pull requests
by Akron
· 2 years ago