B blog.gmaster.io Mergedroid: a bot to reduce manual conflict resolution on GitHub pull requests 4 points psantosl 8 years ago 1 comments