Hi all, as infra just recently added a new feature to customize the email subjects of github bot emails, I’ve taken the liberty to update them with something I think is more sufficient for our needs.
Please provide any feedback. I also changed issue related emails to go to dev again as with GitHub Issues, these emails are a lot more readable than the Jira versions. Chris
