[Fix] install.sh: Force remote name of cloned repo to be 'origin' #3654
+1
−1
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.
See the commit message(s) for details. (I avoid duplicating them here because the commit messages are being updated as we review.)
Feel free to change the commit message (or anything else) as necessary. The
[Fix]
prefix is not mentioned in the "rest of the conventions" for commit messages, but seems to be what is used for similar things in previous commits.This has been tested manually on my personal machine, where I use
clone.defaultRemoteName
. The automated tests against the current head ofmaster
(make TEST_SUITE=fast test-bash
) had some issues for me, including what looked like spurious failures; I assume that this is just my configuration.The CI tests below also appear to have unrelated issues, giving e.g.
sed: /etc/apt/sources.list: No such file or directory
on WSL.