Git: more changes, update PR