| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Previously, when Trove mirrored an upstream repo, it would allow users
to push branches as long as they started with the trove-id. The
intention is to keep local changes in a separate namespace that can
co-exist with whatever branches the upstream repo has. This patch
extends this to tags, so that users can push tags to refs/tags/{{
trove-id}}/whatever.
This is necessary for the `morph anchor` command to work as expected
when the 'ref' fields of some definitions point to tag objects. Git
itself prevents pushing tags to 'refs/heads/...' so `morph anchor` must
be configured to push them to 'refs/tags/...'. Without this patch,
Gitano will prevent that as well, but with this patch, `morph anchor`
should be usable.
Repos in the Trove's own prefix (such as the baserock/ repos on
git.baserock.org, or the foo-trove/ repos on a Trove with trove ID
'foo-trove') are the only ones not considered to be mirrors, and
users can already push branches and tags wherever they want to in these
repos.
Change-Id: I06496ea6c5c57d3fae7e5750cf51e31bbd16d8d2
|
