Comment Comment by TheDong That sounds almost exactly like bors-ng: https://github.com/bors-ng/bors-ng#a-merge-bot-for-github-pu...There was also homu, which predated bors and also did more or less the exact same thing.Does your thing have any features that differentiate it from what bors does? parent TheDong 5 years ago
There was also homu, which predated bors and also did more or less the exact same thing.
Does your thing have any features that differentiate it from what bors does?