2023-03-13 10:23:42 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<!--
|
|
|
|
~ Copyright 2023 Tusky Contributors
|
|
|
|
~
|
|
|
|
~ This file is a part of Tusky.
|
|
|
|
~
|
|
|
|
~ This program is free software; you can redistribute it and/or modify it under the terms of the
|
|
|
|
~ GNU General Public License as published by the Free Software Foundation; either version 3 of the
|
|
|
|
~ License, or (at your option) any later version.
|
|
|
|
~
|
|
|
|
~ Tusky is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even
|
|
|
|
~ the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
|
|
|
|
~ Public License for more details.
|
|
|
|
~
|
|
|
|
~ You should have received a copy of the GNU General Public License along with Tusky; if not,
|
|
|
|
~ see <http://www.gnu.org/licenses>.
|
|
|
|
-->
|
|
|
|
|
|
|
|
<lint>
|
|
|
|
<!-- Missing translations are OK -->
|
|
|
|
<issue id="MissingTranslation" severity="ignore" />
|
|
|
|
|
|
|
|
<!-- Duplicate strings are OK. This can happen when e.g., "favourite" appears as both
|
|
|
|
a noun and a verb -->
|
|
|
|
<issue id="DuplicateStrings" severity="ignore" />
|
|
|
|
|
2023-04-24 09:20:03 +02:00
|
|
|
<!-- Resource IDs used in viewbinding are incorrectly reported as unused,
|
|
|
|
https://issuetracker.google.com/issues/204797401.
|
|
|
|
|
|
|
|
Disable these for the time being. -->
|
|
|
|
<issue id="UnusedIds" severity="ignore" />
|
2023-04-24 12:09:34 +02:00
|
|
|
|
2023-05-04 14:50:21 +02:00
|
|
|
<!-- Logs are stripped in release builds. -->
|
|
|
|
<issue id="LogConditional" severity="ignore" />
|
|
|
|
|
2023-03-13 10:23:42 +01:00
|
|
|
<!-- Ensure we are warned about errors in the baseline -->
|
|
|
|
<issue id="LintBaseline" severity="warning" />
|
|
|
|
|
2023-07-07 17:14:57 +02:00
|
|
|
<!-- Warn about typos. The typo database in lint is not exhaustive, and it's unclear
|
|
|
|
how to add to it when it's wrong. -->
|
|
|
|
<issue id="Typos" severity="warning" />
|
|
|
|
|
2023-07-12 11:49:33 +02:00
|
|
|
<!-- Set OldTargetApi back to warning -->
|
|
|
|
<issue id="OldTargetApi" severity="warning" />
|
|
|
|
|
2023-03-13 10:23:42 +01:00
|
|
|
<!-- Mark all other lint issues as errors -->
|
|
|
|
<issue id="all" severity="error" />
|
|
|
|
</lint>
|