9 Dec
2014
9 Dec
'14
10: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