Also warn about HEAD, ignore disabled builds

diff --git a/fdroidserver/lint.py b/fdroidserver/lint.py
index 9656452a3e73c978d1a53a59799e32fd275bc649..3c6ae6edb713b5c2bd27de89224819073f68d573 100644 (file)
--- a/fdroidserver/lint.py
+++ b/fdroidserver/lint.py
@@ -226,7 +226,9 @@ def main():
 
         # Build warnings
         for build in app['builds']:
-            for s in ['master', 'origin/', 'default', 'trunk']:
+            if build['disable']:
+                continue
+            for s in ['master', 'origin', 'HEAD', 'default', 'trunk']:
                 if build['commit'] and build['commit'].startswith(s):
                     warn("Branch '%s' used as commit in build '%s'" % (
                         s, build['version']))