Closed jpichon closed 5 years ago
Not entirely sure GitHub sends notifications on push updates - I think this solution synthesises all the comments in a decent compromise so that everyone is equally unhappy ;) Thanks for the pointer to safe_substitute!
Not entirely sure GitHub sends notifications on push updates - I think this solution synthesises all the comments in a decent compromise so that everyone is equally unhappy ;) Thanks for the pointer to safe_substitute!