You have the right idea. if that set of changes looks useful to you then you probably want to merge it into your repository.
Github offers a nice guide to responding to pull requests: https://help.github.com/articles/using-pull-requests – I’d start with that and see if you have any more specific questions about the process.