From 3041f78531c0608a6cf0d8721b617bf88b10f446 Mon Sep 17 00:00:00 2001
From: Geoffrey Frogeye <geoffrey@frogeye.fr>
Date: Sat, 13 Feb 2016 16:50:39 +0100
Subject: [PATCH] git gc before making submission

It DOES matter on this very slow connection.
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 4854743..488aefe 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
 all: 1o 2o 3o ../submission.zip
 
 submission.zip:
+	git gc
 	zip $@ .git *.py -r
 
 1o: 1