Merge branch 'feat/label' into 'master'

Feat/label

See merge request !20
4 jobs for master in 17 minutes and 15 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Lint
passed #1275594
grid5000-docker
rubocop

00:01:13

 
  Test
passed #1275595
grid5000-shell
test-vagrant-on-g5k

00:14:43

 
  Deb
passed #1275596
grid5000-docker
deb

00:01:18

 
  Deploy
manual #1275597
grid5000-packages manual
push-package