Merge branch 'githack-deko' into 'master'

nix config and collect old soiworkspaces

See merge request !15
2 jobs for master in 39 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build Deps
passed #11514
build-helper

00:00:19

 
  Build
passed #11515
build-dev

00:00:20