Skip to content

Update ref types - #1303

Closed
Yobmod wants to merge 12 commits into
mainfrom
typing
Closed

Update ref types#1303
Yobmod wants to merge 12 commits into
mainfrom
typing

Conversation

@Yobmod

@YobmodYobmod commented Jul 31, 2021

Copy link
Copy Markdown
Contributor

Split #1301 to find why CI not working.

-Improve types of refs in symbolic.py, head.py, tag.py, repo/base.py

@Yobmod

Copy link
Copy Markdown
ContributorAuthor

CI still broken

@YobmodYobmod closed this Jul 31, 2021
@YobmodYobmod reopened this Jul 31, 2021
@YobmodYobmod closed this Jul 31, 2021
@Yobmod
Yobmod deleted the typing branch July 31, 2021 12:25
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@Yobmod