docs: update CONTRIBUTORS.md#4139
Conversation
|
I've been wondering what the value add is from this automation/feature? Previously it was with some additional context like the type of contribution but now it's just a list which Github already maintains? It does only show the top 100 contributors, but anyone with 3 commits to the repo would be on there: I'm fine keeping it, but I don't know if there's any actual reason for it given the project size. If you have below 3 commits, you can probably link to those directly. This file just says that users contributed to the project, no additional context. If you know the username you can use the search bar for issues/PR activity for example. If no active maintainer sees value in it, then these automated PRs are just noise? (I don't recall it's introduction having any user demand for it) |
|
We can remove it, I agree with @polarathene on this one. What's your opinion @casperklein? |


No description provided.