Valentin Lorentz d715aaf903 Make user_agent a parameter of GitHubSession ... So it can be set when used by other packages		2022-04-26 11:08:53 +02:00
..
lister	Make user_agent a parameter of GitHubSession	2022-04-26 11:08:53 +02:00
__init__.py	Pin mypy and drop type annotations which makes mypy unhappy	2021-12-16 16:10:20 +01:00