diff options
| -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" ] |