8000 stdlib: add defaults by JelleZijlstra · Pull Request #9501 · python/typeshed · GitHub
[go: up one dir, main page]
Skip to content

stdlib: add defaults #9501

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 22 commits into from
Jan 18, 2023
Merged

stdlib: add defaults #9501

Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
ad94ef4
stdlib: add defaults
JelleZijlstra Jan 11, 2023
ba88181
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Jan 11, 2023
9d0075c
revert some stuff to ...
JelleZijlstra Jan 11, 2023
f876535
two more
JelleZijlstra Jan 11, 2023
e85b535
two more
JelleZijlstra Jan 11, 2023
1cff810
run stubtest on master (only stdlib for now)
JelleZijlstra Jan 12, 2023
40aefbd
undo some more things found by stubtest
JelleZijlstra Jan 12, 2023
ada36e9
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Jan 12, 2023
490d2a2
one more
JelleZijlstra Jan 12, 2023
421b32c
Merge branch 'main' into defaults
JelleZijlstra Jan 12, 2023
7f85a0c
Merge branch 'main' into defaults
JelleZijlstra Jan 12, 2023
89ffdb7
Merge branch 'main' into defaults
JelleZijlstra Jan 16, 2023
e00e30e
Merge branch 'main' into defaults
AlexWaygood Jan 16, 2023
17f14cc
Merge branch 'main' into defaults
AlexWaygood Jan 17, 2023
eb8c499
Merge branch 'main' into defaults
JelleZijlstra Jan 18, 2023
c752fab
re-run stubdefault
JelleZijlstra Jan 18, 2023
58ef854
black
JelleZijlstra Jan 18, 2023
edc3c94
better method support
JelleZijlstra Jan 18, 2023
9b9bea4
undo incorrect ones
JelleZijlstra Jan 18, 2023
6714e56
more in 3.11
JelleZijlstra Jan 18, 2023
508dd86
not sure why pyright is happy now
JelleZijlstra Jan 18, 2023
1eb30b8
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot] Jan 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into defaults
  • Loading branch information
@JelleZijlstra
JelleZijlstra authored Jan 16, 2023
commit 89ffdb7b4bd200ab06ddb3f5cbce4749a99e976b

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.
0