Draft: [ci] Allow Contributors to Manually Trigger External Fork CI

Contributor with push access to the main repo would just run make gitlab-trigger-ci and input the merge request number and follow the link to trigger the pipeline run - subsequent run on the authors PR should bypass the lint/smoke/regression jobs.

added tooling-or-ci label

minor: read has a -p argument for putting the prompt right inline

changed this line in version 2 of the diff

approved this merge request

mentioned in merge request !3124 (closed)

mentioned in merge request !3133 (closed)

added 2 commits

• bf22f9d9 - 1 commit from branch develop
• b077cc16 - [ci] Allow Contributors to Manually Trigger External Fork CI

Compare with previous version

I opened !3135 (merged) as a replacement from a fork repo to show how this behaves in practice.

closed

mentioned in merge request !3135 (merged)