This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Make user_agent a parameter of GitHubSession

So it can be set when used by other packages

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

Build Status

Buildable 28762
Build 44950: test-and-build	Jenkins console · Jenkins

This commit no longer exists in the repository.