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
- Open Source Initiative
- Free Software Foundation
- Electronic Frontier Foundation
- Software Freedom Conservancy
- It's FOSS
- Android FOSS Apps Megathread
Rules
- Posts must be relevant to the open source ideology
- No NSFW content
- No hate speech, bigotry, etc
Related Communities
Community icon from opensource.org, but we are not affiliated with them.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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.
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.