Change the lock name based on the git repo touched
    
    This should help speeding things up as it would allow merging a PR while
    the ticket git repo is being updated.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>