See https://git.ethitter.com/open-source/wp-org-plugin-deploy
added 1 commit
Compare with previous version
merged
mentioned in commit ff7e603e