←back to thread

Mozilla Firefox – Official GitHub repo

(github.com)
848 points thefilmore | 1 comments | 13 May 25 05:23 UTC | HN request time: 0.241s | source
Show context
mritzmann ◴[13 May 25 07:29 UTC] No.43970445[source]▶
What is the source of “Firefox Moves to GitHub”? It could be a mirror, just like Linux also has an mirror on GitHub.

https://github.com/torvalds/linux

// EDIT: Source: https://news.ycombinator.com/item?id=43970574

replies(1): >>43970489 #
xrdev ◴[13 May 25 07:38 UTC] No.43970489[source]▶
My thoughts as well, even more so after seeing the only GitHub Workflow they have is actually for closing Pull Requests with a default response:

https://github.com/mozilla-firefox/firefox/blob/main/.github...

replies(1): >>43970687 #
1. sakjur ◴[13 May 25 08:16 UTC] No.43970687[source]▶
It’s interesting how pull requests remain the only tab (apart from code) that cannot be disabled by the repo owners.

I get it from GitHub’s perspective, it’s a nudge to get people to accept the core premise of ”social coding” and encouraging user pressure for mirrored projects to accept GitHub as a contribution entrypoint. I’m impressed by their successes and would attribute some of that to forced socialization practices such as not allowing PRs to be disabled. I’ve grown to dislike it and become disillusioned by GitHub over the course of a long time, but I’m in awe of how well it has worked for them.