Merge branch 'automating-release-tag-push' into 'master'

Release automated tag push

See merge request !270
3 jobs for master in 34 seconds (queued for 4 seconds)
Status Name Job ID Coverage
  Document
passed generate-docs #399438

00:00:23

 
  Publish
passed pages #399439

00:00:11

 
  Deploy
passed pages:deploy

00:00:00