(github.com)

848 points thefilmore | 2 comments | 13 May 25 05:23 UTC | HN request time: 0.824s | 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 #

1. matkv ◴[13 May 25 06:35 UTC] No.43970108[source]▶

>>43970015 #

So is this now just a mirror? I'm not sure what the point of moving to GitHub was then.

replies(1): >>43971331 #

2. IshKebab ◴[13 May 25 10:04 UTC] No.43971331[source]▶

>>43970108 (TP) #

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.

↑

Mozilla Firefox – Official GitHub repo