Closed erikjohnston closed 10 months ago
Hopefully useful for automatically fixing up a contributor's PR?
Looks reasonable, I guess we won't really know until we test it?
Yeah, alas :(
Hopefully useful for automatically fixing up a contributor's PR?