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:34 -0700
To: w3c/clipboard-apis <clipboard-apis@noreply.github.com>
Cc: Push <push@noreply.github.com>
Message-ID: <w3c/clipboard-apis/pull/145/push/7162204338@github.com>

@marcoscaceres pushed 1 commit.

04f24f09c77d83062b4063af6261cb104903f4a3  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/e2a5d578c30ebcdaffff99ca8b435c26c63670bd..04f24f09c77d83062b4063af6261cb104903f4a3

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