Skip to content
Toggle navigation
Sign up
Product
Actions
Automate any workflow
Packages
Host and manage packages
Security
Find and fix vulnerabilities
Codespaces
Instant dev environments
Copilot
Write better code with AI
Code review
Manage code changes
Issues
Plan and track work
Discussions
Collaborate outside of code
Explore
All features
Documentation
GitHub Skills
Blog
Solutions
For
Enterprise
Teams
Startups
Education
By Solution
CI/CD & Automation
DevOps
DevSecOps
Case Studies
Customer Stories
Resources
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Pricing
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.4k
Star
14.4k
Code
Issues
2.2k
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
Dec 29, 2022
by
JukkaL
Default
Restore
Active branches
strip-bodies
Updated
Dec 4, 2022
by
JukkaL
#14150
Open
Restore
release-0.990
Updated
Nov 14, 2022
by
svalentin
Compare
Restore
release-0.980
Updated
Oct 2, 2022
by
ilevkivskyi
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.