wmde/WikidataBuildResources — pull request #14 by mariushoch (2014-12-17 00:25:46+00:00)
Title: Fix jenkins job name matching

And make that also work in case we ever get a -hhvm job.