| commit | b031ed870e4945f8817b6c1a7a6146b6b1ac446d | [log] [tgz] |
|---|---|---|
| author | Gerrit Code Review <gerrit2@korap.ids-mannheim.de> | Thu Sep 07 09:44:11 2017 +0200 |
| committer | Gerrit Code Review <gerrit2@korap.ids-mannheim.de> | Thu Sep 07 09:44:11 2017 +0200 |
| tree | f08b09413b894b862eeeabd14fa2c309b857066b | |
| parent | 6d4df99ea27231ce6e600fe0a0cbe6b6fcb127a3 [diff] |
Remove force option from 'Push Annotated Tag' permission The force option on 'Push Annotated Tag' had no effect and is no longer supported.