2014-11-23, 04:41 PM
Hi folks,
this is not really a suggestion but more of a development discussion so not sure if someone wants to move it to the Discussion board, but I don't see a point in excluding most of the community from this thread
Maybe I'm the only one, but I find it really annoying that lots of PR on GitHub are named "Fix #abcd". Reading those titles in my notification overview isn't informative, so there is no possibility to find out on what people were working but clicking on every single notification...
My suggestion: add a paragraph to the contribution guidelines about naming of pull requests.
Nik
this is not really a suggestion but more of a development discussion so not sure if someone wants to move it to the Discussion board, but I don't see a point in excluding most of the community from this thread
Maybe I'm the only one, but I find it really annoying that lots of PR on GitHub are named "Fix #abcd". Reading those titles in my notification overview isn't informative, so there is no possibility to find out on what people were working but clicking on every single notification...
My suggestion: add a paragraph to the contribution guidelines about naming of pull requests.
Nik