Use the pipe | to reference pipelines
Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.
Description
Like we can reference Issues and MRs, its handy to reference pipelines in notes, descriptions, etc.
For example, if I fix a typo in a file, but I don't want to run all tests again, I can push with [ci skip]. The reviewer, whom has to merge will see the skipped pipeline and will probably wonder why it was skipped, so I can leave a note or describe in the commit message that this is a simple fix and we should look at |123 for the pipeline result.
Or, maybe something is blocked on a certain pipeline of another project. In which case I could note this: "This MR is blocked by other-ns/other-project|123, lets wait until thats successful.
Proposal
I propose | to be used: |12345 for example. Like other references, this should be a link at least. Maybe with a tooltip of its status?
Links / references
https://gitlab.com/gitlab-org/gitlab-ce/blob/master/doc/user/markdown.md#special-gitlab-references
Documentation blurb
Add a column to the docs
|123 Reference pipeline by id