←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.315s | source
Show context
IshKebab ◴[13 May 25 06:10 UTC] No.43970015[source]▶
Not for PRs or issues though which are arguably the biggest reasons to use GitHub. Still this is definitely an improvement.
replies(3): >>43970047 #>>43970108 #>>43971116 #
matkv ◴[13 May 25 06:35 UTC] No.43970108[source]▶
So is this now just a mirror? I'm not sure what the point of moving to GitHub was then.
replies(1): >>43971331 #
1. IshKebab ◴[13 May 25 10:04 UTC] No.43971331[source]▶
It's the primary repo rather than a mirror, but yeah I agree it they don't get most of the benefits. Moving issues and PRs is probably an enormous effort so I get why they aren't doing it all at once.