SIRIUS
SIRIUS copied to clipboard
in the git workflow checkout 2 steps in history
It works, but I don't want to merge this PR now. Let is sit here for a while, until we update more urgent stuff.