Minor bug fixed in git_functions: the branch origin/HEAD should not be created

Change-Id: I66cad44a67329ecf4543cdd2283a1294a0e496d6
Signed-off-by: garciadeblas <gerardo.garciadeblas@telefonica.com>
1 file changed
tree: 25cd4da117b6a51abdcff813af3645de1fa50b9b
  1. README
  2. installers/
  3. jenkins/