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
[–] 4 points 3 years ago (1 child)

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

  • source
  • parent
  • hideshow 2 child comments
  • [–] 3 points 3 years ago (3 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.

  • source
  • parent
  • hideshow 6 child comments
  • [–] [S] 1 point 3 years ago (1 child)

    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.

  • source
  • parent
  • hideshow 2 child comments
  • [–] 1 point 3 years 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.

  • source
  • parent