Files
project-config/jenkins
Jens Harbott 4eeb97c278 Fix branch check for proposal script
We no longer have remote branches in our git clones, just check for the
proper local branch to exist.

Change-Id: I43b9f10c3b41c6cb3eb215d6d4552f2205e76012
2017-10-20 09:43:43 +00:00
..