Found an article about merging pull requests.