diff options
| author | Joey Hess <joey@kitenet.net> | 2014-05-01 10:49:52 -0300 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-05-01 10:49:52 -0300 |
| commit | 6088df9105a10ef446cc236982c2e30857182a84 (patch) | |
| tree | a407345854637915fca54e61a68819731b375e05 /Propellor/Property/Git.hs | |
| parent | f058e47574603fffffc3f60305bc874b78f7770f (diff) | |
| parent | 2bc9a2a7379f80595f5b8f3dc5475f64d5537cfc (diff) | |
Merge branch 'joeyconfig'
Diffstat (limited to 'Propellor/Property/Git.hs')
| -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" ] |