Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add default proxy credentials when connecting to GitHub #2507

Merged
merged 2 commits into from
May 4, 2020

Conversation

csmager
Copy link
Contributor

@csmager csmager commented Apr 29, 2020

Description

Primarily, this adds the default credentials as the default proxy credentials when connecting to GitHub. This is per dotnet/runtime#25745 (comment). I've tested this in our environment (where this had previously failed), and the issue is resolved.

Additionally, the code had a workaround for a missing Octokit hook to increase the timeout on uploading release assets. This has since been added to Octokit in octokit/octokit.net#1693, so I've replaced the workaround with code to make use of this instead.

Fixes #2505

csmager added 2 commits April 29, 2020 13:27
The issue referred in the code octokit/octokit.net#963
has since been fixed.

The timeout can be set via a method on the client, and per the last
comment octokit/octokit.net#963 (comment)
this needs to be set on the release upload request as well. If not set,
the default per-request timeout of 100 seconds is configured.
@csmager
Copy link
Contributor Author

csmager commented Apr 29, 2020

Build fails because although fake will install the dotnet SDK specified in global.json, you can't do dotnet tool restore to download fake unless it's already present - and it seems 3.1.100 is no longer installed on AppVeyor. A bit of a chicken and egg situation!

@matthid
Copy link
Member

matthid commented May 4, 2020

Thanks, looks reasonable

@matthid matthid merged commit f07cf12 into fsprojects:release/next May 4, 2020
@csmager csmager deleted the github-proxy branch May 4, 2020 11:13
@matthid matthid mentioned this pull request May 4, 2020
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

GitHub connection doesn't work behind authenticated proxy
2 participants