threw in a update-server-info after clone, to avoid a gotcha
This commit is contained in:
parent
75f0c49142
commit
320e988fd1
|
@ -86,4 +86,8 @@ cloned owner url dir mbranch = check originurl (property desc checkout)
|
||||||
[ Just $ "git clone " ++ shellEscape url ++ " " ++ shellEscape dir ++ " < /dev/null"
|
[ Just $ "git clone " ++ shellEscape url ++ " " ++ shellEscape dir ++ " < /dev/null"
|
||||||
, Just $ "cd " ++ shellEscape dir
|
, Just $ "cd " ++ shellEscape dir
|
||||||
, ("git checkout " ++) <$> mbranch
|
, ("git checkout " ++) <$> mbranch
|
||||||
|
-- In case this repo is exposted via the web,
|
||||||
|
-- although the hook to do this ongoing is not
|
||||||
|
-- installed here.
|
||||||
|
, Just "git update-server-info"
|
||||||
]
|
]
|
||||||
|
|
Loading…
Reference in New Issue