https://bugzilla.wikimedia.org/show_bug.cgi?id=53597
Web browser: ---
Bug ID: 53597
Summary: GitHub replication: tags not getting pushed
Product: Wikimedia
Version: wmf-deployment
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Git/Gerrit
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
Classification: Unclassified
Mobile Platform: ---
On 2013-08-26, 4 days ago, I created a tag for Diff [0]. While I'm writing this
bug report, the tag has yet to appear on the GitHub mirror [1]. I made a commit
after I first noticed the tag did not appear to see if replicating that would
also sync the tags, which turned out not to be the case, as the commit made it
onto GitHub, while the tag did not show up.
[0] tag "0.8" https://git.wikimedia.org/tags/mediawiki%2Fextensions%2FDiff.git
[1] https://github.com/wikimedia/mediawiki-extensions-Diff/releases
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
