chiark / gitweb /
Quick note on automated tools in CONTRIBUTING
authorBen Harris <bjh21@bjh21.me.uk>
Wed, 21 May 2025 23:27:33 +0000 (00:27 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Wed, 21 May 2025 23:27:33 +0000 (00:27 +0100)
commit247ffb0a77892fd772def3101372479dba876c58
tree703a48736c7af06c850cc95a2fe9ae9d84766f72
parentf94a7062e3208013d5cba9619fda9bebbb0fb3e8
Quick note on automated tools in CONTRIBUTING

It's apparent that the idea that you should disclose the use of such
tools is not as widespread as I'd thought, so I should make it
explicit.
CONTRIBUTING