Damien Elmes 621594ae00 run contrib check on push as well ... Which should ensure I notice when I've forgotten to change my email back after testing the script :-)		2020-01-07 10:14:01 +10:00
..
scripts	need full checkout to get contribs history	2020-01-06 19:27:17 +10:00
workflows	run contrib check on push as well	2020-01-07 10:14:01 +10:00