Closed wmanley closed 1 year ago
This way the type checker will know if you write:
commit = tag.peel(pygit2.GIT_OBJ_COMMIT)
that commit is a Commit.
commit
Commit
This way the type checker will know if you write:
that
commit
is aCommit
.