- From: Matt Giuca <notifications@github.com>
- Date: Sun, 22 Jan 2023 16:53:41 -0800
- To: w3c/manifest <manifest@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 23 January 2023 00:53:54 UTC
> Note: we have bot that runs tidy after merge, but it's totally also ok to run tidy manually if needed. Do you mean after every merge? Or some larger "merge" milestone? It doesn't appear to have been working (or my tidy settings are different to the bot? I'm using the command-line in `CONTRIBUTING`), seeing as how when I run tidy I get this diff. It was getting difficult to write PRs for Manifest since every time I would run tidy, it would generate this huge diff. -- Reply to this email directly or view it on GitHub: https://github.com/w3c/manifest/pull/1067#issuecomment-1399664318 You are receiving this because you are subscribed to this thread. Message ID: <w3c/manifest/pull/1067/c1399664318@github.com>
Received on Monday, 23 January 2023 00:53:54 UTC