Add flexibility with respect to suffix '.git' in repository URL. #55
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.
Added
.extraheader
settings to.gitconfig
for those with and without.git
, regardless of whether.git
present in therepos
suffix or not.Why it works well
When a repository is created, GitHub automatically and recursively removes the suffix
.git
from the repository name.And GitHub considers the repository names with and without suffix
.git
to be identical.Therefore, all repositories have only 2 names: with a
.git
extension or not.gh-federation
can cover all possible aliases by generating names with and without the.git
suffix from the repository name in therepos
, and configuring for them.And, no security issue arise. This is because the name generated by this method, always mean the same repository.