diff options
| author | Joey Hess <joey@kitenet.net> | 2014-04-30 21:15:35 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-04-30 21:15:35 -0400 |
| commit | 320e988fd133758427884dcdb38ff81061e4e5dd (patch) | |
| tree | 7f0e640717fe20348fb7b714767fd9196d933956 | |
| parent | 75f0c491420f3f6b1da2d3d1c4c40de8f9bbcaeb (diff) | |
threw in a update-server-info after clone, to avoid a gotcha
| -rw-r--r-- | Propellor/Property/Git.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Propellor/Property/Git.hs b/Propellor/Property/Git.hs index ba370e51..e5df7e48 100644 --- a/Propellor/Property/Git.hs +++ b/Propellor/Property/Git.hs @@ -86,4 +86,8 @@ cloned owner url dir mbranch = check originurl (property desc checkout) [ Just $ "git clone " ++ shellEscape url ++ " " ++ shellEscape dir ++ " < /dev/null" , Just $ "cd " ++ shellEscape dir , ("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" ] |