this post was submitted on 05 Jul 2023
24 points (96.2% liked)

Open Source

31253 readers
250 users here now

All about open source! Feel free to ask questions, and share news, and interesting stuff!

Useful Links

Rules

Related Communities

Community icon from opensource.org, but we are not affiliated with them.

founded 5 years ago
MODERATORS
 

Note: It seems this repo might be a bit out of date. Thanks to @[email protected], some alternatives to consider:

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 4 points 1 year ago (1 children)

Someone who is interested in continuing it should just fork it.

[–] [email protected] 4 points 1 year ago (2 children)

people already did, many times
and then the original repo's issue tracker is full of issue where people say that they have made a fork
and no consesus on which of these forks is to be blessed a go-to successor
so currently we have an outdated repo and a lot of fragmentation among successors.

[–] [email protected] 3 points 1 year ago

Story of open source. Everyone needs to create their own version if even one thing is not to their liking. 🤣

[–] [email protected] 1 points 1 year ago (1 children)

Thanks for pointing this out, I had no idea. If someone wants to point me towards an active/popular fork of this repo, I'm happy to add that to this post.

[–] [email protected] 1 points 1 year ago* (last edited 1 year ago)

Apparently Lee is organising GitHub Game-Off 2023, so that might be a place where you will be able to get some of his attention.
Go look into repo's issue tracker and find all the posts where people say that they made a fork, or are in other ways interested in getting the repo more up to date. Then message them all, organise them together. Maybe even set up a Github Organisation (fancy name for a "group of users"), and when you have everything set in place, bother Lee until he transfers repo ownership to that organisation.