mediawiki-client-tools / mediawiki-dump-generator

Python 3 tools for downloading and preserving wikis
https://github.com/mediawiki-client-tools/mediawiki-scraper
GNU General Public License v3.0
89 stars 14 forks source link

Try to placate mypy (Sourcery refactored) #184

Closed sourcery-ai[bot] closed 11 months ago

sourcery-ai[bot] commented 11 months ago

Pull Request #183 refactored by Sourcery.

If you're happy with these changes, merge this Pull Request using the Squash and merge strategy.

NOTE: As code is pushed to the original Pull Request, Sourcery will re-run and update (force-push) this Pull Request with new refactorings as necessary. If Sourcery finds no refactorings at any point, this Pull Request will be closed automatically.

See our documentation here.

Run Sourcery locally

Reduce the feedback loop during development by using the Sourcery editor plugin:

Review changes via command line

To manually merge these changes, make sure you're on the placate-mypy branch, then run:

git fetch origin sourcery/placate-mypy
git merge --ff-only FETCH_HEAD
git reset HEAD^

Help us improve this pull request!