A simple pull request approval system for GitHub