fdroiddata/tools
Hans-Christoph Steiner 979d42858e
gitlab-ci: improve issuebot trigger for merge requests
This should hopefully provide reliable triggering for issuebot on merge
requests.  Before, detecting the merge request number was happening on the
receiving side, and it had weird issues.
2020-06-18 18:59:45 +02:00
..
audit-gradle.py gitlab-ci: error if apps use insecure plain HTTP gradle repositories 2018-01-26 13:41:41 +01:00
check-git-repo-availability.py gitlab-ci: check git repo availability for metadata and srclibs MRs 2020-06-02 17:12:24 +02:00
check-keyalias-collision.py gitlab-ci: check if Application ID will cause keyalias collision 2018-08-29 22:49:51 +02:00
check-localized-metadata.py gitlab-ci: check that localized metadata is properly named 2019-05-10 13:37:18 +02:00
check-metadata-summary-whitespace.py standardize whitespace on localizable changelogs 2019-03-01 14:13:47 +01:00
make-summary-translatable.py use selected upstream summaries and related translations 2019-02-27 23:28:09 +01:00
png-pre-compress script to pre-compress all included graphics 2018-08-29 22:49:56 +02:00
rewrite-git-redirects.py tools/rewrite-git-redirects.py: use canonical gitlab URLs for Repo: 2019-10-03 13:58:55 +02:00
trigger-issuebot gitlab-ci: improve issuebot trigger for merge requests 2020-06-18 18:59:45 +02:00