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.

Sign up for GitHub

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

Jump to bottom

clone: Strip trailing '.git' from dir names for non-bare repos #540

Merged
merged 3 commits into from
Jan 12, 2022
Merged

clone: Strip trailing '.git' from dir names for non-bare repos #540

merged 3 commits into from
Jan 12, 2022

Commits on Jan 12, 2022

  1. clone: Strip trailing '.git' from dir names 

    Github adds '.git' to its repository names. Git strips this
automatically
(https://github.com/git/git/blob/90d242d36e248acfae0033274b524bfa55a947fd/dir.c#L3066
)
and it seems reasonable for kart to do the same.

re #533
    @craigds
    craigds committed Jan 12, 2022
    Configuration menu
    Copy the full SHA
    4076b42 View commit details
    Browse the repository at this point in the history

  2. Add .git to bare repo paths

    @craigds
    craigds committed Jan 12, 2022
    Configuration menu
    Copy the full SHA
    af5de90 View commit details
    Browse the repository at this point in the history

  3. Update changelog

    @craigds
    craigds committed Jan 12, 2022
    Configuration menu
    Copy the full SHA
    efadc4f View commit details
    Browse the repository at this point in the history