also pull before push to git