A bot to automatically update and merge GitHub PRs | Heykuki News