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

Placate mypy (redux) (Sourcery refactored) #187

Closed sourcery-ai[bot] closed 11 months ago

sourcery-ai[bot] commented 11 months ago

Pull Request #186 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-redux branch, then run:

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

Help us improve this pull request!