Skip to content
Sign up
Product
Features
Mobile
Actions
Codespaces
Copilot
Packages
Security
Code review
Issues
Discussions
Integrations
GitHub Sponsors
Customer stories
Team
Enterprise
Explore
Explore GitHub
Learn and contribute
Topics
Collections
Trending
Skills
GitHub Sponsors
Open source guides
Connect with others
The ReadME Project
Events
Community forum
GitHub Education
GitHub Stars program
Marketplace
Pricing
Plans
Compare plans
Contact Sales
Education
In this repository
All GitHub
↵
Jump to
↵
No suggested jump to results
In this repository
All GitHub
↵
Jump to
↵
In this organization
All GitHub
↵
Jump to
↵
In this repository
All GitHub
↵
Jump to
↵
Sign in
Sign up
{{ message }}
python
/
mypy
Public
Notifications
Fork
2.3k
Star
13.7k
Code
Issues
2.1k
Pull requests
139
Actions
Projects
1
Wiki
Security
Insights
More
Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights
An error occurred when attempting to delete the branch
. Please try again.
The branch
could not be found. It may have already been deleted.
Overview
Active
Stale
All
branches
Default branch
master
Updated
Aug 28, 2022
by
ilevkivskyi
Default
Restore
Active branches
native-int-attr-3
Updated
May 29, 2022
by
JukkaL
#13532
Open
Restore
pep517
Updated
Aug 21, 2022
by
ethanhs
#13445
Open
Restore
wasm
Updated
Aug 21, 2022
by
ethanhs
#13446
Open
Restore
release-0.970
Updated
Jul 19, 2022
by
JukkaL
Compare
Restore
release-0.960
Updated
Jun 6, 2022
by
JukkaL
Compare
Restore
Stale branches
release-0.700
Updated
Apr 3, 2019
by
JukkaL
Compare
Restore
revert
Updated
May 20, 2019
by
JukkaL
Compare
Restore
release-0.710
Updated
Jun 19, 2019
by
JukkaL
Compare
Restore
release-0.711
Updated
Jun 22, 2019
by
JelleZijlstra
Compare
Restore
release-0.720
Updated
Jul 12, 2019
by Ivan Levkivskyi
Compare
Restore
View more stale branches
Delete branch
You can’t perform that action at this time.
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.