Tool to ease merging Pull Requests and git patches
