Use GITHUB_SERVER_URL
to change GitHub API host for dependency graph submission
#1547
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
I was trying to use
dependencygraph
feature in my company, and found the following GitHub Action step was not updating the dependency of the repository.With
--debug
, I found the curl has failed with bad credential.Simply because the repository was in the GitHub Enterprise, not in the github.com.
Changes
send_snapshot_to_api
function and use it ifargs.github_server_url
is detectedI suggest using
GITHUB_SERVER_URL
environment variable for changing the GitHub API hostAfter change, the debug message would be like this in the GitHub Enterprise server (3.12)
References