Rather than using the word "merge", should we suggest using a pull request here?