Automate push after commit?

[Jelmer Vernooij]

Nicholas Allen wrote:
>> Technical the sequence is:
>> lock both branches
>> create new commit object in the local repo
>> push the new commit to the remote repo
>> update the remote branch tip
>> update the local branch tip
>> unlock
> 
> Thanks - that makes sense. I guess the locking of both branches takes some 
> time too when one branch is remote. Commit and push would avoid this when you 
> know you are the only person working on the remote branch (as the branches 
> will not have diverged).

The locking is done anyway, also during commit+push (in which case the
remote branch would be locked during the push), so that wouldn't explain
a performance difference.


Cheers,

Jelmer