† add 'git pr' alias. †