Closed stan-dot closed 1 month ago
this prevents PRs that apply custom formating by mistake
no longer relevant
this prevents PRs that apply custom formating by mistake