Lock the git repo when removing elements from it
    
    This to ensure there are no concurrent writing to the repo which could
    create dangling commits.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr></pingou@pingoured.fr>