[Bps-public-commit] BPS git mailer tools branch, master, updated. ea2331d95891041bffec12f743c2ea6497d53ac7

[Alex M Vandiver]

The branch, master has been updated
       via  ea2331d95891041bffec12f743c2ea6497d53ac7 (commit)
      from  987b92af34d8caafcb5b2e54981c2a7876582268 (commit)

Summary of changes:
 README |   13 +++++++++++++
 1 files changed, 13 insertions(+), 0 deletions(-)

- Log -----------------------------------------------------------------
commit ea2331d95891041bffec12f743c2ea6497d53ac7
Author: Alex Vandiver <alexmv at mit.edu>
Date:   Tue Feb 24 01:16:28 2009 -0500

    Instructions for mirroring to github

diff --git a/README b/README
index 81d110f..9516e01 100644
--- a/README
+++ b/README
@@ -19,3 +19,16 @@ which should be scripted
 To use it, you need to invoke it from
 /git/repot.git/hooks/post-receive
 
+
+
+-----------------
+To push to github
+
+Create the repo on the github account.
+
+On diesel, in the repo's dir:
+   git remote add --mirror github git at github.com:bestpractical/projectname.git
+..replacing projectname with the repo's name, obviously.
+
+Finally, add the following to the repo's hooks/post-receive:
+   sudo -u git -H /usr/bin/git push github >>/home/git/pushlog 2>&1

-----------------------------------------------------------------------