This reverts merge request !22 (merged)
Checking pipeline status.
mentioned in commit 9191a2c4
merged