git: forking & merging pull requests commands/rewording