On Git's Shortcomings