"Thais D. Braz" <thais.dinizbraz@xxxxxxxxx> writes: > --- > Documentation/git-push.txt | 3 +++ > builtin/push.c | 9 ++++++++- > 2 files changed, 11 insertions(+), 1 deletion(-) Can somebody explain what is going on? I am guessing that Thais and marius are different people (judging by the fact that one CC's a message to the other). Are you two collaborating on this change, or something? It puzzles me to see almost identical change sent to the list without much explanation from multiple parties, with no apparent inter-developer coordination. Thanks.
