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