Re: [w3c/clipboard-apis] chore: use spec-prod to publish (#145) from Marcos Cáceres on 2021-05-21 (public-webapps-github@w3.org from May 2021)

From: Marcos Cáceres <notifications@github.com>
Date: Fri, 21 May 2021 00:28:30 -0700
To: w3c/clipboard-apis <clipboard-apis@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/clipboard-apis/pull/145/push/7162203847@github.com>

@marcoscaceres pushed 1 commit.

e2a5d578c30ebcdaffff99ca8b435c26c63670bd  Update .github/workflows/pr-push.yml


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/w3c/clipboard-apis/pull/145/files/94fa59d55e1706da323afffd29075e5f5bf6d580..e2a5d578c30ebcdaffff99ca8b435c26c63670bd

Received on Friday, 21 May 2021 07:28:43 UTC