GitHub repository: zulip/TinglingGit
Primary language: Python
Description: This is a tool which helps to avoid introducing merge conflicts for open PR's in a Github repo by creating new PR's which may get merged sooner