Merge branch 'add/wp-org-deploy' into 'master'

Automated WP.org updates

See merge request !3
3 jobs for v2.3.1 in 3 minutes and 11 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
failed #2656
allowed to fail
PHPunit:PHP7.2:MySQL

00:02:21

failed #2657
allowed to fail
PHPunit:PHP7.3:MySQL

00:02:17

 
  Deploy
passed #2658
PluginSVN

00:00:50

 
Name Stage Failure
failed
PHPunit:PHP7.3:MySQL Test
No job log
failed
PHPunit:PHP7.2:MySQL Test
No job log