7 commits

Author	SHA1	Message	Date
proletarius101	32c6369dc1	optimize trigger-issuebot	2022-08-02 15:42:00 +00:00
linsui	0bacae2332	fix issuebot trigger	2021-03-07 16:17:30 +00:00
Hans-Christoph Steiner	eff041ccfa	gitlab-ci: improved logging for trigger-issuebot	2020-12-10 16:15:50 +01:00
Hans-Christoph Steiner	2574e6ee78	trigger-issuebot: print a dot per search attempt	2020-12-04 14:20:17 +01:00
Hans-Christoph Steiner	3658328a00	tools/trigger-issuebot: throw errors if required env vars are not set	2020-12-02 23:51:05 +01:00
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