🔮 A bot to automatically update and merge GitHub PRs - View it on GitHub