Merge branch 'develop' into 'master'

added a force option

See merge request !68
5 jobs for master in 1 minute and 7 seconds
Status Job ID Name Coverage
  Check
passed #148118100
pylint

00:00:25

 
  Staging
passed #148118101
pylint_badge

00:00:21

 
  Build
passed #148118102
pages

00:00:20

 
  Deploy
manual #148118103
allowed to fail manual
linedbot
passed pages:deploy

00:00:00