Commit graph

6 commits

Author SHA1 Message Date
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