Skip to content
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.

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

[mypy] Fix web_programming directory #4297

Merged
merged 34 commits into from Mar 31, 2021
Merged

Conversation

@cclauss
Copy link
Member

@cclauss cclauss commented Mar 28, 2021

A subtask of #4052

Describe your change:

  • Add an algorithm?
  • Fix a bug or typo in an existing algorithm?
  • Documentation change?

Checklist:

  • I have read CONTRIBUTING.md.
  • This pull request is all my own work -- I have not plagiarized.
  • I know that pull requests will not be merged if they fail the automated tests.
  • This PR only changes one algorithm file. To ease review, please open separate PRs for separate algorithms.
  • All new Python files are placed inside an existing directory.
  • All filenames are in all lowercase characters with no spaces or dashes.
  • All functions and variable names follow Python naming conventions.
  • All function parameters and return values are annotated with Python type hints.
  • All functions have doctests that pass the automated testing.
  • All new algorithms have a URL in its comments that points to Wikipedia or other similar explanation.
  • If this pull request resolves one or more open issues then the commit message contains Fixes: #{$ISSUE_NO}.
cclauss and others added 22 commits Mar 28, 2021
github-actions github-actions
…/Python/3.9.2/x64/bin/python3/opt/hostedtoolcache/Python/3.9.2/x64/bin/python3
@github-actions github-actions bot force-pushed the monkeytype-stub-web_programming branch from 78cf514 to 8cc34cd Mar 28, 2021
cclauss and others added 7 commits Mar 28, 2021
github-actions github-actions
cclauss added 4 commits Mar 28, 2021
@cclauss cclauss requested a review from dhruvmanila Mar 28, 2021
@cclauss cclauss changed the title Experiment: monkeytype stub web_programming mypy: Fix web_programming directory Mar 28, 2021
@cclauss cclauss marked this pull request as ready for review Mar 28, 2021
@cclauss
Copy link
Member Author

@cclauss cclauss commented Mar 28, 2021

Please Squash & merge to get rid of experimental commits.

I tried to use MonkeyType but it is impossible!! PyAnnotate is the way to go.

@cclauss cclauss changed the title mypy: Fix web_programming directory [mypy] Fix web_programming directory Mar 28, 2021
@dhruvmanila dhruvmanila merged commit 895bca3 into master Mar 31, 2021
5 checks passed
5 checks passed
@github-actions
build
Details
@github-actions
build
Details
@github-actions
pre-commit
Details
@github-actions
pre-commit
Details
@gitpod-io
Gitpod Open an online workspace in Gitpod
Details
@cclauss cclauss deleted the monkeytype-stub-web_programming branch Mar 31, 2021
peRFectBeliever added a commit to peRFectBeliever/Python that referenced this pull request Apr 1, 2021
* Update world_covid19_stats.py

* Delete monkeytype_config.py

* updating DIRECTORY.md

* Apply pyannotate suggestions to emails_from_url.py

* mypy web_programming/emails_from_url.py

* super().__init__()

* mypy --ignore-missing-imports web_programming/emails_from_url.py

* Update emails_from_url.py

* self.urls: list[str] = []

* mypy: Fix web_programming directory

Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>
Co-authored-by: Dhruv Manilawala <dhruvmanila@gmail.com>
Panquesito7 pushed a commit to Panquesito7/Python that referenced this pull request May 13, 2021
* Update world_covid19_stats.py

* Delete monkeytype_config.py

* updating DIRECTORY.md

* Apply pyannotate suggestions to emails_from_url.py

* mypy web_programming/emails_from_url.py

* super().__init__()

* mypy --ignore-missing-imports web_programming/emails_from_url.py

* Update emails_from_url.py

* self.urls: list[str] = []

* mypy: Fix web_programming directory

Co-authored-by: github-actions <${GITHUB_ACTOR}@users.noreply.github.com>
Co-authored-by: Dhruv Manilawala <dhruvmanila@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants