Commit Graph

10 Commits

Author SHA1 Message Date
Bruno Alla
191cc719e8 Merge branch 'master' into auto-generate-contributors 2020-08-14 08:13:53 +01:00
Bruno Alla
4db39b5319 Fix syntax 2020-08-12 12:55:37 +01:00
Bruno Alla
3d1067fb56 Workflow to run pre-commit autoupdate 2020-08-12 12:52:58 +01:00
Bruno Alla
673997a389 Some small cleanups 2020-08-10 18:13:42 +01:00
Bruno Alla
9344038479 Update workflow to commit updated file 2020-08-10 18:09:03 +01:00
Bruno Alla
bd381ea0bf Update the Github workflow 2020-08-10 18:06:50 +01:00
Bruno Alla
5ba525ad09 Automatically update list of contributors 2020-08-10 18:06:49 +01:00
Bruno Alla
1838ba37e0 Remove the labeler workflow, it's broken with forks 2020-04-24 15:38:20 +01:00
Bruno Alla
4ab97dd5a4 Add GitHub action to draft releases notes 2020-04-18 12:33:13 +01:00
Bruno Alla
7a435b3d4a Add GitHub action to label pull requests 2020-04-17 19:18:56 +01:00