🔮 A bot to automatically update and merge GitHub PRs
Primary LanguagePythonGNU Affero General Public License v3.0AGPL-3.0