From ed6383c15090f6d32a41a9873a133f93b943d8cf Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <kohlhase@kwarc.info>
Date: Mon, 9 Jan 2017 17:34:34 +0100
Subject: [PATCH] typo

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 21b573b..e7c3697 100644
--- a/README.md
+++ b/README.md
@@ -97,7 +97,7 @@ a chance to break things).
 To contribute changes back to the the LaTeX-proposal  repository, you analogously do 
 
 1. go to the top of your paper prehistory: ```cd path/to/top``` (you can only push from there)
-2. pull the LaTeX-proposal  repos as a "subrepo": ```git subrepo push LaTeX-proposal```
+2. do the push: ```git subrepo push LaTeX-proposal```
 
 easypeasy!