2 commits

Author	SHA1	Message	Date
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
Hans-Christoph Steiner	ce0969d18b	gitlab-ci: make merge requests trigger issuebot	2020-05-21 11:55:04 +02:00