tree f08b09413b894b862eeeabd14fa2c309b857066b
parent 6d4df99ea27231ce6e600fe0a0cbe6b6fcb127a3
author Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1504770251 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1504770251 +0200

Remove force option from 'Push Annotated Tag' permission

The force option on 'Push Annotated Tag' had no effect and is no longer
supported.