Hey, I noticed that the branches on the gitgub mirrors are not getting updated when you create a new one or delete one.
See the difference between https://github.com/wikimedia/mediawiki-extensions-SemanticMediaWiki/branches and https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/SemanticMediaWiki.git;a=heads Is this intentional? Seems rather confusing to me. Cheers -- Jeroen De Dauw http://www.bn2vs.com Don't panic. Don't be evil. -- _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
