Overview:
In our dev workflow we have a 'prevent push if there is no approved differential revision' herald rule.
We'd like to push tags to our phabricator hosted git repo but because of the aforementioned rule we cannot simply do 'git push -tags', we've tried to tag commits on our local branches hoping the tags will be merged into master after 'arc land' but this is not the case.
What is the best way to work with git tags in Phabricator?
Reproduction steps:
-Checkout master.
-Create a local branch from master, make amends and commit locally.
-Tag the local commit with a git tag.
- arc diff
- approve the generate differential revision
- arc land
- the local branch is merged onto master but the git tag stays in the local branch (is not propagated to origin/master).
Version information:
phabricator 4c03f617fce8a498c1dcdc6e9b2d635a6eb713e9 (Mon, May 30) arcanist 0249f90a9a4aa42da0823673a6ac8c620251d82a (Sat, May 21) phutil ffdfa49b4f4ab16a85a22b2a55da753617a2aef1 (Mon, May 30)
Thanks,
Bye,
Marco