HTTPS-Everywhere repo does not get updated to latest master during nightly builds
Nightly builds are currently failing with
failure: src/chrome/content/rules/Wikimedia.xml failed test: Rule omits forward slash after host name.
The related git commit is 56311871bcf6215006d6967cbbfabadbd3c34284. But that's not the current tip anymore. Thus, updating the repo seems not to work as it should.