52d80f7 Log the head commit hash when checking out a PR

Authored and Committed by csomh 3 years ago
    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>
    
        
file modified
+1 -0