Slide "User B: git push fails"