GitTut: pull from upstream in a devel branch