Remove origin/ prefix in the branch name passed by Jenkins.
commit3ad3eab77a9e9429a1f9c837efe04446be2e954f
authorTails developers <amnesia@boum.org>
Sun, 28 Jul 2013 12:55:08 +0000 (28 14:55 +0200)
committerTails developers <amnesia@boum.org>
Sun, 28 Jul 2013 12:57:18 +0000 (28 14:57 +0200)
treed221df3022d2aca05e787838f6da3b72c1622620
parent6f0cf25f8ccbae5b4674a7fc0a289a0b4b73ae09
Remove origin/ prefix in the branch name passed by Jenkins.

The Jenkins SCM plugin syntax for branch specifiers is REPO/BRANCH. It has some
helpful shortcuts, but in some cases (e.g. branches with a '/' in their name) we
really need to specify origin/BRANCH.

When origin/BRANCH is checked out, our custom APT source lists builder is
confused and falls back to the `devel' APT suite, instead of using the branch's
suite. So, we drop the `origin/' prefix from $REV before it's checked out.
vagrant/provision/assets/build-tails