Comment by Banditoz

GitHub shows 44 contributors. 41 distinct users have merged pull requests.

...so now their work has been reduced to nothing?