- From: Sid Vishnoi via GitHub <sysbot+gh@w3.org>
- Date: Wed, 16 Sep 2020 16:53:13 +0000
- To: public-pointer-events@w3.org
Hi! A bit late, but I've created a GitHub Action for this and a bit more: [Spec Prod](https://github.com/sidvishnoi/spec-prod/). It's being used at [[Gamepad]](https://github.com/w3c/gamepad/blob/gh-pages/.github/workflows/pr-push.yml) and a few other places. -- GitHub Notification of comment by sidvishnoi Please view or discuss this issue at https://github.com/w3c/pointerevents/pull/331#issuecomment-693532423 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 16 September 2020 16:53:15 UTC