From f2a58ad67f2cbf31ed47601003728b52c6a1fce6 Mon Sep 17 00:00:00 2001
From: Peter Serwylo <peter@serwylo.com>
Date: Thu, 11 Aug 2016 14:24:23 +1000
Subject: [PATCH] Update priorities for default repos to go from 1-4 instead of
 10 + 20

---
 app/src/main/res/values/default_repos.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/app/src/main/res/values/default_repos.xml b/app/src/main/res/values/default_repos.xml
index 6a09a6920..3a895f579 100644
--- a/app/src/main/res/values/default_repos.xml
+++ b/app/src/main/res/values/default_repos.xml
@@ -17,7 +17,7 @@
         <!-- enabled -->
         <item>1</item>
         <!-- priority -->
-        <item>10</item>
+        <item>1</item>
         <!-- push requests -->
         <item>ignore</item>
         <!-- pubkey -->
@@ -38,7 +38,7 @@
         <!-- enabled -->
         <item>0</item>
         <!-- priority -->
-        <item>20</item>
+        <item>2</item>
         <!-- push requests -->
         <item>ignore</item>
         <!-- pubkey -->
@@ -60,7 +60,7 @@
         <!-- enabled -->
         <item>0</item>
         <!-- priority -->
-        <item>10</item>
+        <item>3</item>
         <!-- push requests -->
         <item>ignore</item>
         <!-- pubkey -->
@@ -81,7 +81,7 @@
         <!-- enabled -->
         <item>0</item>
         <!-- priority -->
-        <item>20</item>
+        <item>4</item>
         <!-- push requests -->
         <item>ignore</item>
         <!-- pubkey -->