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 flexibility with respect to suffix '.git' in repository URL. #55

Merged
merged 1 commit into from
Feb 8, 2024

Conversation

namachan10777
Copy link
Contributor

Added .extraheader settings to .gitconfig for those with and without .git, regardless of whether .git present in the repos 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 the repos, and configuring for them.

And, no security issue arise. This is because the name generated by this method, always mean the same repository.

@namachan10777 namachan10777 self-assigned this Feb 7, 2024
@namachan10777 namachan10777 requested a review from sksat as a code owner February 7, 2024 08:38
@namachan10777
Copy link
Contributor Author

#54

@sksat sksat linked an issue Feb 7, 2024 that may be closed by this pull request
@sksat sksat merged commit ad58136 into main Feb 8, 2024
1 check passed
@sksat sksat deleted the feature/flex-with-respect-to-suffix-git branch February 8, 2024 06:13
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.

Automatically set extraheader for both with and without ".git"
2 participants