Make user_agent a parameter of GitHubSession
So it can be set when used by other packages
Description
Description
Details
Details
- Provenance
vlorentz Authored on Apr 25 2022, 3:53 PM vlorentz Pushed on Apr 26 2022, 11:28 AM - Differential Revision
- D7646: Make user_agent a parameter of GitHubSession
- Parents
- rDLS2d04244cc950: Move GitHubSession from github/lister.py to github/utils.py
- Branches
- Unknown
- Tags
- References
- tag: v2.9.0
- Build Status
Buildable 28762 Build 44950: test-and-build Jenkins console · Jenkins