GitTut: push workflow