FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
Experiment: what happens if we just remove the second overload of `dict.pop`? by randolf-scholz · Pull Request #15303 · python/typeshed · GitHub
python
typeshed
Repository navigation
Code
Issues
208
(208)
Pull requests
214
(214)
Actions
Security and quality
Insights
Experiment: what happens if we just remove the second overload of dict.pop?
- #15303
#15303
Closed
randolf-scholz
wants to merge 1 commit into
python:main
python/typeshed:main
from
randolf-scholz:dict_pop_remove_overload
randolf-scholz/typeshed:dict_pop_remove_overload
Copy head branch name to clipboard
Conversation
Commits
1
(1)
Checks
Files changed
Closed
Experiment: what happens if we just remove the second overload of dict.pop?
#15303
randolf-scholz
wants to merge 1 commit into
python:main
python/typeshed:main
from
randolf-scholz:dict_pop_remove_overload
randolf-scholz/typeshed:dict_pop_remove_overload
Copy head branch name to clipboard
Commits
Commits on Jan 19, 2026
removed second overload from dict.pop
randolf-scholz
committed
711874d
View commit details
Copy full SHA for 711874d
Browse repository at this point
Back
|
FazBrowse Home
|
New Git URL