JanZerebecki added a comment. My local clone that still has the pre-gerrit-move github origin around does not know that object either.
I did: $ git push github-mirror master $ git push --tags github-mirror And both caused updates on a remote branch. So the replication is still not working, but the new tag is now on github. TASK DETAIL https://phabricator.wikimedia.org/T123521 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JanZerebecki Cc: demon, hoo, ori, Krinkle, BBlack, Krenair, Aklapper, JanZerebecki, Tobi_WMDE_SW, aude, Addshore, Jonas, Lydia_Pintscher, thiemowmde, Luke081515, Wikidata-bugs, Mbch331, QChris, greg _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
