Gitiles
Code Review
Sign In
korap.ids-mannheim.de
/
KorAP
/
Tools
/
081c5d54b32ae621e4b745a942a6521253e50ef1
/
bin
/
git_gerrit_pull
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, 1 month ago