GitHub bot that validates patches before they can be merged - View it on GitHub