search

w3c / resource-timing

Resource Timing
https://w3c.github.io/resource-timing/
Other
121 stars 35 forks source link

Running tidy locally results in churn #282

Closed yoavweiss closed 3 years ago

yoavweiss commented 3 years ago

I tried to run tidy locally after my latest PR, but it resulted in a lot of unrelated changes. Running tidy effectively means that pending PRs have to be merged back manually, so ideally, we'd have a way to run it in a consistent way as part of CI (so that tidy changes only apply to new prose and not to existing one).

/cc @marcoscaceres @caribouW3 @nicjansma

marcoscaceres commented 3 years ago

Happy to set that up, but we need to do one "big tidy" and then we should be good to run it on CI.

yoavweiss commented 3 years ago

Yeah, that makes sense. I think we ran one already, so pending PRs would already need a manual rebase. In other words, now is as good a time as any :)

marcoscaceres commented 3 years ago

We did indeed! Cool.