[w3c/clipboard-apis] chore: use spec-prod to publish (#145)

cc @sidvishnoi for a look over. 
You can view, comment on, or merge this pull request online at:

  https://github.com/w3c/clipboard-apis/pull/145

-- Commit Summary --

  * chore: use spec-prod to publish

-- File Changes --

    A .github/workflows/pr-push.yml (18)
    D .travis.yml (16)
    D compile.sh (9)
    D deploy.sh (68)
    D deploy_key.enc (0)

-- Patch Links --

https://github.com/w3c/clipboard-apis/pull/145.patch
https://github.com/w3c/clipboard-apis/pull/145.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/clipboard-apis/pull/145