Is this GitHub's way of testing how many of you are managing your PRs via agents?