Changes to our Git infrastructure

[Jeff Mitchell]

On 5 Jan 2015, at 4:37, Jan Kundrát wrote:

> On Sunday, 4 January 2015 13:21:12 CEST, Thomas Friedrichsmeier wrote:
>> True, but don't forget about the other side of the story:
>> - potential contributors will have to learn more stuff, before they
>> can even _start_ contributing, which may be a real turn-off in some
>> cases.
>
> That's a valid concern, so the core question is whether this scenario:
>
> - make changes
> - make a commit
> - push that commit
>
> is any more complex than:
>
> - make changes
> - create a diff
> - upload that diff via a browser.
>
> I have to admit I have no idea which one is *really* easier for a 
> total newbie, and which one is easier for an average contributor.

Obviously, you forgot another workflow that has been discussed:

- make changes
- make a commit
- use a CLI tool to push the change up for review

--Jeff