mirror/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2026-05-14 10:54:29 -04:00
Code Issues Packages Projects Releases Wiki Activity

Also warn about HEAD, ignore disabled builds

Browse Source
This commit is contained in:
Daniel Martí
2014-08-15 12:29:03 +02:00
parent 1af98e9f09
commit 2845cb56cc
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
fdroidserver/lint.py
View File

@@ -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']))