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

Open Source

31253 readers
248 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] 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.