Skip to content

Fix: Fixed bug where repository names lost casing or kept .git #17421

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

marcofranzen99
Copy link
Contributor

Resolved / Related Issues

Steps used to test these changes

  1. Used the clone action from the command palette (or drag and drop the URL)
  2. Pasted url https://github.com/files-community/Files.git or https://github.com/files-community/Files
  3. Verified that casing was preserved (uppercase F) and the .git suffix was removed.
image image

keep casing + remove .git suffix if present
@yaira2 yaira2 self-requested a review August 10, 2025 14:08
@yaira2
Copy link
Member

yaira2 commented Aug 10, 2025

These changes appear to block the ability to drag URLs like https://github.com/files-community/Files/pull/17421. The feature was initially implemented to support dragging URLs even if they weren't the root of the repo.

@yaira2 yaira2 added changes requested Changes are needed for this pull request and removed needs - code review labels Aug 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changes requested Changes are needed for this pull request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Bug: Git repository directory name contains .git suffix
2 participants