From b152c682fafd01eae34c708d48b7397d10d01179 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Tue, 28 Jul 2015 21:39:33 -0700
Subject: [PATCH] Move lint config to build.gradle

* Removed UnusedResources from default_repo.xml, since there are none of those
  warnings anymore
* Same for TrulyRandom in the whole project
---
 F-Droid/build.gradle | 3 +++
 F-Droid/lint.xml     | 9 ---------
 2 files changed, 3 insertions(+), 9 deletions(-)
 delete mode 100644 F-Droid/lint.xml

diff --git a/F-Droid/build.gradle b/F-Droid/build.gradle
index 1d994dc85..d73eb9bf6 100644
--- a/F-Droid/build.gradle
+++ b/F-Droid/build.gradle
@@ -174,6 +174,9 @@ android {
     lintOptions {
         checkReleaseBuilds false
         abortOnError false
+
+        // Our translations are crowd-sourced
+        disable 'MissingTranslation'
     }
 
     // Enable all Android lint warnings
diff --git a/F-Droid/lint.xml b/F-Droid/lint.xml
deleted file mode 100644
index 348e7f6ce..000000000
--- a/F-Droid/lint.xml
+++ /dev/null
@@ -1,9 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<lint>
-    <!-- Remove severity="ignore" to see the missing translations -->
-    <issue id="MissingTranslation" severity="ignore" />
-    <issue id="TrulyRandom" severity="ignore" />
-    <issue id="UnusedResources" severity="ignore">
-        <ignore path="res/values/default_repo.xml" />
-    </issue>
-</lint>
\ No newline at end of file