Deploying extension-workshop

extension-workshop is deployed separately by folks who update its contents without the involvement of the push hero.

See https://github.com/mozilla/extension-workshop#deploymentsreleases