Skip to content
Sign up
Product
Features
Mobile
Actions
Codespaces
Packages
Security
Code review
Issues
Integrations
GitHub Sponsors
Customer stories
Team
Enterprise
Explore
Explore GitHub
Learn and contribute
Topics
Collections
Trending
Learning Lab
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
/
typeshed
Public
Notifications
Fork
1.3k
Star
2.9k
Code
Issues
166
Pull requests
24
Actions
Projects
0
Security
Insights
More
Code
Issues
Pull requests
Actions
Projects
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
May 23, 2022
by
JelleZijlstra
Default
Restore
Active branches
311
Updated
May 18, 2022
by
AlexWaygood
Compare
Restore
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.