Use grep to see if the proper diff is included in the pull request message.