fabfile: checkout github develop before pushing.