madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://"]
  insteadOf = madduck:

check out my own version of mr
authormartin f. krafft <>
Sun, 18 May 2008 13:01:07 +0000 (14:01 +0100)
committermartin f. krafft <>
Sun, 18 May 2008 13:01:07 +0000 (14:01 +0100)

diff --git a/mrsetup b/mrsetup
index 5a17d073f705277d4879037fd1c1c30bb661faba..a91f8032a35bdcc383b77614ddc7a494d34de558 100755 (executable)
--- a/mrsetup
+++ b/mrsetup
@@ -14,7 +14,7 @@ MY_ACCOUNT_GIT_REPO=${MY_GIT_REPOS}/accounts/${MY_ACCOUNT}.git
@@ -55,7 +55,8 @@ if [ -d code/mr ]; then
   echo I: cloning mr into ${MR_CODE}...
   mkdir --parent ${MR_CODE%/*}
-  git clone $MR_REPO_URL $MR_CODE
+  git clone --no-checkout $MR_REPO_URL $MR_CODE
+  (cd $MR_CODE && git checkout -b vcsh origin/vcsh)
   mkdir --parent $BIN_DIR
   ln -s ../${MR_CODE}/mr $BIN_DIR/mr