mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 15:00:30 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

lint: don't trip up on projects with 'master' in the name

Browse source 
https://gitlab.com/fdroid/fdroiddata/merge_requests/5557#note_223283359
This commit is contained in:
Hans-Christoph Steiner 2019-09-30 13:07:49 +02:00
parent 17f37414db
commit 17320c23f4
2 changed files with 44 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/lint.py
View file

@ -122,7 +122,7 @@ http_url_shorteners = [
http_checks = https_enforcings + http_url_shorteners + [
(re.compile(r'.*github\.com/[^/]+/[^/]+\.git'),
_("Appending .git is not necessary")),
(re.compile(r'.*://[^/]*(github|gitlab|bitbucket|rawgit)[^/]*/([^/]+/){1,3}master'),
(re.compile(r'^https://[^/]*(github|gitlab|bitbucket|rawgit)\.[a-zA-Z]+/([^/]+/){2,3}master/'),
_("Use /HEAD instead of /master to point at a file in the default branch")),
]