To fix #203 in the easiest way. We can think about something more sophisticated at a later time. I also removed the possibility to edit the pipeline status in the jsoneditor on the website, so if someone messes it up (by doing something wrong in the database CLI) they probably also know how to fix it.
To fix #203 in the easiest way. We can think about something more sophisticated at a later time. I also removed the possibility to edit the pipeline status in the jsoneditor on the website, so if someone messes it up (by doing something wrong in the database CLI) they probably also know how to fix it.