search

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) #186

Closed elsiehupp closed 11 months ago

elsiehupp commented 11 months ago

I didn't complete placating mypy quite yet, but it isn't strictly necessary if the tests pass. (I can keep working on this, but if the tests still pass, it would be nice to be able to merge this for now.)

elsiehupp commented 11 months ago

I reverted this because it wasn't ready, yet. (It probably should have been a draft PR.)

robkam commented 11 months ago

Thanks.