make repo description optional
This commit is contained in:
parent
2d9682f3c6
commit
08e1efb278
3 changed files with 7 additions and 8 deletions
|
@ -93,6 +93,7 @@ makeRemote basename location a = do
|
|||
g <- gitRepo
|
||||
if not (any samelocation $ Git.remotes g)
|
||||
then do
|
||||
|
||||
let name = uniqueRemoteName basename 0 g
|
||||
a name
|
||||
return name
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue