From 679c308c534183febd2bd034a42c464e8294185f Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Fri, 28 Sep 2012 09:31:23 -0400
Subject: [PATCH] Improve setperms example.

---
 collects/meta/web/stubs/git.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/meta/web/stubs/git.rkt b/collects/meta/web/stubs/git.rkt
index 26c1fb6776..b6960b52d9 100644
--- a/collects/meta/web/stubs/git.rkt
+++ b/collects/meta/web/stubs/git.rkt
@@ -981,7 +981,7 @@
      grant read permissions to everyone, and write permissions to user1, create
      a file with:
      @pre|{R @all
-           RW user1}|
+           RW user1 user2}|
      and then run the setperms commands with this as its input:
      @pre{ssh pltgit setperms $user/foo < the-file}
      You can also just run the @cmd{setperms} command and type in the