Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Of course it will already have confused some people at this point. And might still confused more due to caching. I've pushed a notice into the OP, but that's about all I can do for now. Damn...
I tested the notification mechanism before creating this ticket, and for that quickly used a bundled plugin, and then of course forgot to change out the identifier prior to committing. Bloody hell.