Next step: setting up email filters for @github-actions and various combinations of things you really don't need to see. It's cool for sure, but maybe not for

Next step: setting up email filters for @github-actions and various combinations of things you really don't need to see. It's cool for sure, but maybe not for things like their big "lgtm" example.