From c9f5c2cb085b3cee31b9a85bbe9394d3b0942ee5 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@gnu.kitenet.net>
Date: Thu, 15 Jan 2009 23:03:49 -0500
Subject: [PATCH 1/1] update

---
 lib/{git-remote => gitless} | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
 rename lib/{git-remote => gitless} (90%)

diff --git a/lib/git-remote b/lib/gitless
similarity index 90%
rename from lib/git-remote
rename to lib/gitless
index e671dde..8781316 100644
--- a/lib/git-remote
+++ b/lib/gitless
@@ -6,11 +6,11 @@
 # 
 # To make mr use this file, add a line like this inside the [DEFAULT]
 # section of your ~/.mrconfig
-#include = cat /usr/share/mr/git-remote
+#include = cat /usr/share/mr/gitless
 #
 # And an example repo using it would look something like:
 #[lib/sound]
-#checkout = git_remote_checkout turtle /media/turtle/home/joey/lib sound
+#checkout = gitless_checkout turtle /media/turtle/home/joey/lib sound
 # 
 # In this example, the file server's hostname is "turtle", 
 # and it's mounted on /media/turtle. The file server contains a sound.git
@@ -22,7 +22,7 @@
 
 lib =
 
-	git_remote_checkout() {
+	gitless_checkout() {
 		server="$1"
 		remotebase="$2"
 		dir="$3"
-- 
2.39.2