Mergedroid: a bot to reduce manual conflict resolution on GitHub pull requests | Dark Hacker News