summaryrefslogtreecommitdiff
path: root/Propellor/Property
diff options
context:
space:
mode:
authorJoey Hess2014-04-30 21:15:35 -0400
committerJoey Hess2014-04-30 21:15:35 -0400
commit320e988fd133758427884dcdb38ff81061e4e5dd (patch)
tree7f0e640717fe20348fb7b714767fd9196d933956 /Propellor/Property
parent75f0c491420f3f6b1da2d3d1c4c40de8f9bbcaeb (diff)
threw in a update-server-info after clone, to avoid a gotcha
Diffstat (limited to 'Propellor/Property')
-rw-r--r--Propellor/Property/Git.hs4
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"
]