Yes, the following core patch causes that (as it's caching permissions): https://gerrit.wikimedia.org/r/73418
I've uploaded a core change which would fix this and hope to get it merged tonight: https://gerrit.wikimedia.org/r/73520 Cheers, Marius On Fri, 2013-07-12 at 20:08 +0200, Jeroen De Dauw wrote: > Hey, > > Something broke Wikibase master recently. > > See https://gerrit.wikimedia.org/r/#/c/73439/ > ( > https://integration.wikimedia.org/ci/job/mwext-Wikibase-repo-tests/1986/console > ) > > Anyone an idea what caused this? > > Cheers > > -- > Jeroen De Dauw > http://www.bn2vs.com > Don't panic. Don't be evil. ~=[,,_,,]:3 > -- > _______________________________________________ > Wikidata-tech mailing list > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikidata-tech _______________________________________________ Wikidata-tech mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-tech
