9942cc3
On dist-git we only need to compile gitolite's config file So let's do just that instead of compile then trigger POST_COMPILE as done on pagure.io Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>