9 Dec
2014
9 Dec
'14
8:43 a.m.
On 12/08/2014 09:48 AM, Daniel-Constantin Mierla wrote:
Given the flexibility and that it gives more details, pretty close to A), I will go to C). But if there are people simply liking B), then we can use it, being done by github, it's no overhead for us. Other opinions?
C) seems OK. But I have no problem with B). I normally take a look over the commits I'm interested to according to the commit message.
Cheers, Victor