Wait, that's a thing? :O

I knew of workflows in the .github/ directory - but I didn't know of triggers like that. Thank you for the pointer, I will look this up!