- From: Kagami Sascha Rosylight <notifications@github.com>
- Date: Tue, 15 Jun 2021 03:00:01 -0700
- To: w3c/selection-api <selection-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 15 June 2021 10:00:22 UTC
> Late to the party here, but looks like everything is sorted 🎉 I think https://github.com/w3c/selection-api/pull/140#issuecomment-860134758 still matters. It needs an explicit GH token or it will not run w3c/spec-prod when opening PRs. -- 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/selection-api/pull/140#issuecomment-861363832
Received on Tuesday, 15 June 2021 10:00:22 UTC