mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dash is legal in git remote names

Browse source
This commit is contained in:
Joey Hess 2024-06-12 13:24:31 -04:00
parent e224b99f36
commit 0ffb0a4d25
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Git/Remote.hs
View file

@ -65,6 +65,7 @@ makeLegalName s = case filter legal $ replace "/" "_" s of
{- Only alphanumerics, and a few common bits of punctuation common
- in hostnames. -}
legal '_' = True
legal '-' = True
legal '.' = True
legal c = isAlphaNum c