Skip to content

git: use remote-url of current branch instead of guessing#566

Merged
mk merged 1 commit intomainfrom git-remote-detectOct 25, 2023

Commits

Commits on Oct 25, 2023