Merge pull request gitpython-developers#1346 from rra/type-fixes Fix typing issues with delete_head and Remote.add
sig