Detecting Duplicate Pull-requests in GitHub
Reviewer Recommender of Pull-Requests in GitHub