tree 083423e65dc46a6748975fabb4025585d9e82fe1
parent de0acd2ff2cde071d8d0c6818658107d97c24cd1
author Neels Hofmeyr <neels@hofmeyr.de> 1468258042 +0200
committer Neels Hofmeyr <neels@hofmeyr.de> 1468277058 +0200

jenkins.sh: echo HEADs' hashes, echo each project name prominently

Change-Id: I967b11b289630ba6ae1b102c1d6692625f83b875