- From: Johann Hofmann <notifications@github.com>
- Date: Fri, 09 Dec 2022 01:22:10 -0800
- To: w3c/permissions <permissions@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 9 December 2022 09:22:22 UTC
Looks like the tidy job for this failed on main, will there be an automated PR for that or should I push a manual fix to main? -- Reply to this email directly or view it on GitHub: https://github.com/w3c/permissions/pull/390#issuecomment-1344056775 You are receiving this because you are subscribed to this thread. Message ID: <w3c/permissions/pull/390/c1344056775@github.com>
Received on Friday, 9 December 2022 09:22:22 UTC