This repository contains stuff for integration tests of ci-dispatcher-github-pull-request-* Jenkins jobs.