52d80f7
Log the head commit hash when checking out a PR B/c it's a good idea, in general, but also b/c it will help to understand what's happening in #1202. Signed-off-by: Hunor Csomortáni <csomh@redhat.com>