{"push_id":2146288160,"size":2,"distinct_size":2,"ref":"refs/heads/STYLE","head":"aaed528227398a6719394a74c210a6ee37faf892","before":"5e78554e8f7f6fa44d0a825982644ccfe7eba5ea","commits":[{"sha":"8b19f980382f1308907d104318990e9a4255e44d","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"Draft style guide + Linters for ssreflect style (awk + sed scripts)\n\n- an awk script to print messages (no rewriting here).\n  +  checking that lines are less than 80 characters long\n  + checking that indentation is formed by an even number of spaces\n  + checking for terminators in one line proofs\n  + /!\\ \"indentation for subgoal\" checking is not implemented yet\n- a sed script for systematic rewriting for spacing mostly, use with caution!!","distinct":true,"url":"https://api.github.com/repos/CohenCyril/math-comp/commits/8b19f980382f1308907d104318990e9a4255e44d"},{"sha":"aaed528227398a6719394a74c210a6ee37faf892","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"fixing rat style (thanks to awk) + running ssrlint.sed on the whole library","distinct":true,"url":"https://api.github.com/repos/CohenCyril/math-comp/commits/aaed528227398a6719394a74c210a6ee37faf892"}]}
{"actor":{"display_login":"CohenCyril"}}