On Sun, Jun 8, 2014 at 7:49 AM, wp mirror wpmirrordev@gmail.com wrote:
However, I notice that, for most MediaWiki extensions, when I execute:
(shell)$ git branch -r
the git repo does not (yet) show an `origin/REL1_23' branch that I can checkout. While some extensions show a recent development branch such as `origin/wmf/1.24wmf8', many extensions lag months behind (e.g. `ApiSandbox' has no branch more recent than `origin/wmf/1.23wmf20').
When I do "git branch -r" on a checkout of ApiSandbox,[1] I see both origin/REL1_23 and origin/wmf/1.24wmf8 branches exist.
[1]: Either https://gerrit.wikimedia.org/r/p/mediawiki/extensions/ApiSandbox.git or https://git.wikimedia.org/git/mediawiki/extensions/ApiSandbox.git, I tested both.