Update ref types - #1303

Closed

Yobmod wants to merge 12 commits into

mainfrom

Commits on Jul 31, 2021

Update head types in repo/base.py
Yobmod
authored
3514369
Update types in symbolic.py
Yobmod
authored
bca7f4f
Update types in head.py
Yobmod
authored
8d89e43
Update types in tag.py
Yobmod
authored
b1b7a25
Update types in reference.py
Yobmod
authored
08fdad1
Update types in commit.py
Yobmod
authored
b88b2ff
update types in submodule/base.py
Yobmod
authored
806d7e1
Update submodule/root.py
Yobmod
authored
a79d006
Update root.py
Yobmod
authored
63771e1
Update util.py
Yobmod
authored
8c26562
Add None check to test_refs.py
Yobmod
authored
9ac93a7
rvert test_ref.py
Yobmod
authored
77ac3b3