The old app is renamed "GitHub (deprecated)" first. Its replacement is the former GitHub Notifications app, which now lets GitHub Copilot turn a notification thread into a pull request, if admins…