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/SemanticMediaWi...
Is this intentional? Seems rather confusing to me.
Cheers
-- Jeroen De Dauw http://www.bn2vs.com Don't panic. Don't be evil. --