Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Erroneous "editconflict" messages #194
Despite getting that error message (which I briefly see on everything I do with the develop script, but it usually gets overwritten before I can get a screenshot or good look at), the edit did save. The one above was using the "submit" button on a G13 eligible draft and selecting "original creator" (whom didn't get notified of the resubmission, but I'm not sure if that is suppose to happen but think it should), the one below was hitting "tag as G13".