From 8a65ab0cec5c7fe0740b9f30f551a3929f57c8bb Mon Sep 17 00:00:00 2001
From: Yasin <mohammed-yasin.rahman@lip6.fr>
Date: Tue, 12 Nov 2013 12:07:28 +0100
Subject: [PATCH] commands to run after git pull is added

---
 README | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/README b/README
index d05ded49..3a894cc0 100644
--- a/README
+++ b/README
@@ -32,6 +32,16 @@ $ make static (which is a shorthand for cleaning up and run manage collectstatic
   that creates templates/ 
 $ make templates [$ make redo (each time when you pull, do that and restart the server)]
 
+
+## Whenever doing a git pull the following operations are recommended:
+
+$ make static # will refresh static/ from all the pieces in the project
+$ make templates # same, for templates
+$ make redo-static # clears up (rm -rf) static/ first, then make static
+$ make redo-templates # ditto for templates
+$ make redo == make redo-static redo-templates
+
+
 * run a local server:
 $ manage.py runserver 0.0.0.0:8000
 -- or -- my advice:
-- 
2.43.0