this post was submitted on 05 Jul 2023
18 points (100.0% liked)

Open Source

30221 readers
190 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 @wiki_me@lemmy.ml, some alternatives to consider:

you are viewing a single comment's thread
view the rest of the comments
[โ€“] hyperreal@lemmy.world 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.

[โ€“] testman@lemmy.ml 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.