Last modified: 2013-09-01 17:58:53 UTC
https://github.com/wikimedia/mediawiki-extensions-WikibaseQuery/blob/master/src/Wikibase/Query/QueryEntity.php Commit 10beaf545fba502427d0992deaeedc31b3f23634, which was made 10 days ago, is nowhere to be seen. Noticed this when I wanted to link to some source in this file and it not currently being there (on GitHub).
Correction: this was only merged 3 days ago. This commit is also not showing up in GitBlit: https://git.wikimedia.org/history/mediawiki%2Fextensions%2FWikibaseQuery.git/b7e1188c93403e4827c401b5748e60343eaaf7e2/src%2FWikibase%2FQuery%2FQueryEntity.php The commit certainly is on master though. Just got a fresh clone of the repo to avoid any local state confusion, and it's there.
While the commit you mentioned has been merged, gerrit's replication was broken. While replication has been fixed meanwhile, it seems no explicit replication run has been performed. I just forced a replication run, and the commit is now in the master branch of the replicated repo at github [2] and our gitblit [3]. [1] See commit 2961893945c0176d4e6a51ea49e4e856cb428bd6 of the puppet repo. [2] https://github.com/wikimedia/mediawiki-extensions-WikibaseQuery/commit/10beaf545fba502427d0992deaeedc31b3f23634 [3] https://git.wikimedia.org/tree/mediawiki%2Fextensions%2FWikibaseQuery.git/10beaf545fba502427d0992deaeedc31b3f23634
