Merge branch 'migration' into 'master'

Migration

See merge request !32
8 jobs for master in 21 minutes and 56 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #735370
build

00:12:44

passed #735371
buildgui

00:01:00

 
  Test
passed #735372
linting

00:01:43

passed #735373
tests

00:06:11

84.0%
 
  Release
passed #735374
allowed to fail manual
release

00:00:16

 
  Deploy
canceled #735843
allowed to fail manual
deploy

failed #735375
allowed to fail manual
deploy

00:03:56

passed #735790
allowed to fail manual
deploy

00:00:24