A GitHub bot that automatically updates and merges pull requests, with auto-update, auto-merge and dependency-bot collaboration.