From d8d8c206f02cfd47f042af43fec699a70bfe628a Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Wed, 17 Apr 2013 23:41:06 -0400
Subject: [PATCH] Added lib/repo, for support for repo (as used in Android)
 Closes: #705652 Thanks, Peter Eisentraut

---
 debian/changelog |  7 +++++++
 lib/repo         | 12 ++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 lib/repo

diff --git a/debian/changelog b/debian/changelog
index 6f318e2..f18375f 100644
--- 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
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 "$@"
-- 
2.39.5