commit | 942a774a74f5c8b74f56f770bee1c3397e307315 | [log] [tgz] |
---|---|---|
author | Jan Kundrát <kundrat@cesnet.cz> | Fri Feb 03 13:47:52 2017 +0100 |
committer | Gerrit Code Review <gerrit@gerrit.cesnet.cz> | Fri Feb 03 13:47:52 2017 +0100 |
tree | c6776e7f8a20f935a755b3c33393ef1b90f6eb90 | |
parent | e00479686b5f8bc150d5698a7fc3f647fffc69db [diff] |
Tags: enable uploading tags created by others to a project owner This is required by our mirroring scripts at least for the `github/` namespace. It shouldn't hurt to add this globally; our owners are usually bots, anyway. Change-Id: Ic6136e749b87c0a8b8e36070282488b3f5ad9b82