Use requests instead of urllib.request
mypy v0.701 isn’t happy with the way we used urllib.request, and
Requests is supposed to be nicer anyways.
Description
Description
Details
Details
- Provenance
LucasWerkmeister Authored on May 31 2019, 5:35 PM - Parents
- R2494:3c58cc0810a4: Reduce height of commands input on index page
- Branches
- Unknown
- Tags
- ChangeId
- None