Gitiles
Code Review
Sign In
korap.ids-mannheim.de
/
KorAP
/
Tools
/
ef4275e9de387f430a85656e58c77805760b9051
/
bin
/
git_gerrit_pull
ef4275e
Added JAVA17_HOME
by margaretha
· 1 year, 3 months ago
4d96c36
Add prerequisites
by Helge
· 1 year, 8 months ago
579efe0
Add go-tools
by Akron
· 2 years ago
0e9e5f5
Replace alias with real gerrit push to master
by Akron
· 2 years, 3 months ago
39dae91
Add Koral to pull-tests
by Akron
· 2 years, 3 months ago
53d1821
Do not accept any other characters than n/y
by Akron
· 2 years, 3 months ago
74994cf
Improve portability for git_gerrit_pull
by Akron
· 2 years, 3 months ago
70a2669
Update Kustvakt for Java 11
by Akron
· 2 years, 3 months ago
88ddd4a
Add pull request helper for specific pull requests
by Akron
· 2 years, 3 months ago