I agree, we should have a server-side hook that declines commits if the C files in src/ would change under the formatter. ng0: can you draft/test such a hook on git.taler.net? Once it works, I can deploy it on git.gnunet.org.
On 9/8/19 1:37 PM, Schanzenbach, Martin wrote: > This is news to me, too. That being said, I would prefer if the commit would > simply be rejected if not > conforming (i.e. if running the formatter results in a different output). I > would hate it if the commited > code != my local copy after the push.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
