Fix typing issues with delete_head and Remote.add#1346
Merged
Yobmod merged 1 commit intogitpython-developers:mainfrom Sep 24, 2021
rra:type-fixes
Merged
Fix typing issues with delete_head and Remote.add#1346Yobmod merged 1 commit intogitpython-developers:mainfrom rra:type-fixes
Yobmod merged 1 commit intogitpython-developers:mainfrom
rra:type-fixes
