Mergedroid: a bot to reduce manual conflict resolution on GitHub pull requests

Tested with the Git repo itself, about 26% less merges need manual intervention: <a href="https:&#x2F;&#x2F;gmaster.io&#x2F;mergedroid&#x2F;analyze&#x2F;report&#x2F;gmasterscm&#x2F;git" rel="nofollow">https:&#x2F;&#x2F;gmaster.io&#x2F;mergedroid&#x2F;analyze&#x2F;report&#x2F;gmasterscm&#x2F;git</a><p>Still <i>alpha</i>.