Marien Zwart cc8d2ea320 CI: Specify identity when committing ... Git refuses to commit otherwise. Identity cargo-culted from other projects / answers.		2024-05-18 23:07:53 +10:00
..
ci.yml	CI: Specify identity when committing	2024-05-18 23:07:53 +10:00