On Mon, Sep 04, 2023 at 07:13:07AM -0400, Dave Cramer wrote: > I had some experience looking at it, but would take some time to get up to > speed on this. Something I am willing to do. I'm sort of hoping this is > more of a maintenance thing than active development. I'm certainly willing > to pitch in.
Okay. I was just checking things, and I don't have a commit bit on this community repo. TBH, I am not sure that there is a strong need to move to github at this stage as long as we are able to get the situation with the repository stabilized.
There isn't a *strong* need to do this, but what you get with github is CI and a much simpler way to document.