Replies: 2 comments 5 replies
-
Hey, @chri2! Thanks for your suggestion. I mainly opted for GitHub because of its visibility, better tools, and the fact that other current users of the project use GitHub. (Also, I think the last time I looked into SourceHut, you couldn't do much with the free account.) Finally, even Thomas had the project mirrored here, so I understood it as a personal preference (as the distributed nature of Git allows for). I will follow the crowd though. If you have a group that is working on this there, I'd happily work towards integrating our work. Best. |
Beta Was this translation helpful? Give feedback.
-
Here's my (belated) take on it, which is mostly agreement with @nigini and @1dom, and seems to be what's happening already.
If Thomas resumes activity and asks us to shut this down (or objects to the org name) I would hope for a polite resolution of those circumstances. In the meantime I don't think we should feel obligated to stick with his hosting platform of choice rather than the one where he kept a mirror. |
Beta Was this translation helpful? Give feedback.
-
I'd say we should respect Thomas decision to mainly use sourcehut.
Beta Was this translation helpful? Give feedback.
All reactions