From 320e988fd133758427884dcdb38ff81061e4e5dd Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 30 Apr 2014 21:15:35 -0400 Subject: threw in a update-server-info after clone, to avoid a gotcha --- Propellor/Property/Git.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'Propellor') 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" ] -- cgit v1.2.3