←back to thread

848 points thefilmore | 4 comments | | HN request time: 0.704s | source
1. antalis ◴[] No.43970286[source]
Firefox Mobile (Fenix) had just moved to Mozilla's Mercurial mozilla-central repository after using GitHub including for issues. https://github.com/mozilla-mobile/firefox-android/wiki#upcom...

Now, both the desktop and the mobile version will be on Github, and the "issues" will stay on Bugzilla.

This will take advantage of both GitHub's good search and source browsing and Git's familiar system.

As a former Firefox and Thunderbird contributor, I have to say that I used local search instead of trying to find something on the mozilla-central website.

Of course, when you're actively developing software, you search inside your IDE, but allowing to find things easily on the website makes it more welcoming for potential new contributors.

replies(2): >>43970559 #>>43972241 #
2. adrian17 ◴[] No.43970559[source]
> I have to say that I used local search instead of trying to find something on the mozilla-central website.

On the contrary, I find searchfox to be the best code navigation tool I used. It has nice cross-language navigation features (like jumping from .webidl interface definition to c++ implementation), it has always-on blame (with more features too) and despite that it's really fast and feels extremely lightweight compared to GitHub interface. I really wish I had this with more projects, and I'll be sad if it ever dies.

replies(1): >>43971287 #
3. antalis ◴[] No.43971287[source]
Searchfox didn't exist back then, "there [was] only xul", I mean MXR of course.

Then MXR got replaced by DXR, itself replaced in 2020 by Searchfox (introduced in 2016).

https://discourse.mozilla.org/t/decommission-dxr/69475

https://billmccloskey.wordpress.com/2016/06/07/searchfox/

4. baobun ◴[] No.43972241[source]
> This will take advantage of both GitHub's good search and source browsing and Git's familiar system.

The source browsing has detoriated severely relatively recently IME, to the point where i can't be called "good" anymore.

It now loads asynchronously (requiring js) and lazily, randomly breaks on shaky connections and in-page search is broken.

The recent issues/PRs revamp is also a pretty major step back. Try searching in PRs with all uBlock Origin lists enabled.