this post was submitted on 14 May 2025
102 points (91.1% liked)
Programming
20154 readers
651 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It looks like the main repository. The "How to submit a patch" mentions even the github repository. Even though it does not accept pull requests it seems to be not just a mirror.
When I searched for text "github" I did not find anything. But searching in the inspector to cover urls:
Which makes it all the more confusing. Stored there, but patches only elsewhere?
Really, for a "moved their sources" claim I'd prefer some form of announcement or docs that describe this.
I have searched a bit more. The transition is in process since 2023. [1] I don't find any announcement though.
It looks like the process is now finished and the github repository is now the official main source. There are other news sites claiming this. [2]
[1] https://glandium.org/blog/?p=4346 [2] https://www.phoronix.com/news/Firefox-On-GitHub