this post was submitted on 07 Nov 2023
157 points (94.9% liked)

Programming

17314 readers
24 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 [email protected]



founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 45 points 1 year ago (2 children)

Slightly confusing title here. A less confusing title would be "Mozilla drops support for Mercurial, moves Firefox repository to GitHub".

[–] [email protected] 23 points 1 year ago (1 children)

A less confusing title would be “Mozilla drops support for Mercurial (...)

It's not even about GitHub at all. Taken straight out of the announcement:

“For a long time Firefox Desktop development has supported both Mercurial and Git users. This dual SCM requirement places a significant burden on teams which are already stretched thin in parts. We have made the decision to move Firefox development to Git.”

[–] [email protected] 13 points 1 year ago (2 children)

But a few lines later:

Although we'll be hosting the repository on GitHub, our contribution workflow will remain unchanged and we will not be accepting Pull Requests at this time

So I don't know if you meant that the focus of the change wasn't GH or that they weren't using GH at all, but it seems like the latter is untrue.

[–] [email protected] 9 points 1 year ago* (last edited 1 year ago)

you meant that the focus of the change wasn’t GH

They are dropping Mercurial and focusing on Git. Incidentally, they happen to host the Git project on GitHub. GitHub is used for hosting, and they don't even use basic features such as pull requests.

Again, this is really not about GitHub at all.

[–] [email protected] 4 points 1 year ago

This is the crucial detail that everyone is missing.

It's the same as with the Linux kernel GitHub mirror.