Post #889815

my current hypothesis is that if you ping copilot to work on someone else's pr, it proceeds as if it's a copilot pr, and just replaces their pr description and title. not that this is by any means normal.