Added lib/repo, for support for repo (as used in Android) Closes: #705652 Thanks...

diff --git a/debian/changelog b/debian/changelog
index 6f318e24dbf01966ca5a5cbcf115cbc176454610..f18375fe856a00516ec19be2847968242a758048 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+mr (1.15) UNRELEASED; urgency=low
+
+  * Added lib/repo, for support for repo (as used in Android)
+    Closes: #705652 Thanks, Peter Eisentraut
+
+ -- Joey Hess <joeyh@debian.org>  Wed, 17 Apr 2013 23:40:20 -0400
+
 mr (1.14) unstable; urgency=low
 
   * Added a fetch command. Closes: #480580

diff --git a/lib/repo b/lib/repo
new file mode 100644 (file)
index 0000000..418276d
--- /dev/null
+++ b/lib/repo
@@ -0,0 +1,12 @@
+# Adds support for repo repositories.
+# http://source.android.com/source/version-control.html
+
+# To make mr use this file, add a line like this inside the [DEFAULT]
+# section of your ~/.mrconfig
+#include = cat /usr/share/mr/repo
+
+repo_test = perl: -d "$ENV{MR_REPO}/.repo"
+repo_diff = repo diff "$@"
+repo_grep = repo grep "$@"
+repo_status = repo status "$@"
+repo_update = repo sync "$@"