[neoveller]

Already solved same-day: https://github.com/larvalabs/pullup/pull/11

But never implemented / merged. Surprised the powers-that-be are resisting the most elegant solution. Then again, I came up with it, so I remain bitter and biased :)

[tg3]

I think the logic is that the current way isn't a big problem now that there is a standard of how you add your username to the file, and has allowed for some flexibility on the membership.

The old saying, "don't fix it if it ain't broke."

[neoveller]

Have you read the issue? The problem is that the current way things are done requires manual merge requests because of merge conflicts resulting from the updated userlist array. The github api method is 1:1 with the requirements of joining the community and leaves no room for human error (unless the person in charge of pull requests does not standardize their own process for automatic merges).

[1qaz2wsx3edc]

The current solution is humorous: https://github.com/larvalabs/pullup/blob/master/config/userl...