Interesting idea, get many people to edit the same JSON file. I'd imagine you'd need to do a lot of hand merges, because everyone will try edit the same files

Interesting idea, get many people to edit the same JSON file. I'd imagine you'd need to do a lot of hand merges, because everyone will try edit the same files section though (notably the bottom of the list), which in part ruins the whole "everything is a PR" vibe. Shame, because the idea of talking over changes in the comments and then pulling it in is cool.