feedback
mozsearch
Our great sponsors
feedback | mozsearch | |
---|---|---|
89 | 17 | |
2,881 | 233 | |
- | 2.1% | |
6.4 | 9.0 | |
almost 2 years ago | 8 days ago | |
Rust | ||
Creative Commons Attribution 4.0 | Mozilla Public License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
feedback
-
Community/collaborative route builder
Just learnt about this GitHub feature although it looks like it has been removed.
-
Episode 86: myNewsWrap – SAP and Microsoft
Azure skills navigator - the new developer's "Guide to the Cloud"Markdown: An option to highlight a "Note" and "Warning" using blockquote (Beta)
-
An proposed language-neutral change to GitHub's Markdown admonitions beta
Link to the alternative proposal is in this comment: https://github.com/github/feedback/discussions/16925#discuss...
-
Render mathematical expressions in Markdown On GitHub
(I work at GitHub.) We've started using our Discussions product for feedback. You can post a discussion here:
https://github.com/github/feedback/discussions/categories/ge...
-
Please Stop Using Grey Text
> - Why can’t I choose the colors of web sites and applications?
For what it's worth, Firefox lets you edit them:
http://kb.mozillazine.org/index.php?title=UserContent.css&pr...
Not terribly easily, but you can do it for any site. For example I fixed a GitHub bug for myself: https://github.com/github/feedback/discussions/8098#discussi...
-
1Password for SSH changed the way I work
I’m really excited for Git’s recent addition of commit signing with SSH keys. It already works with 1Password SSH and I can’t wait for GitHub and Gitlab to support verification!
-
Github CLI v2.9.0 is out : clone labels feature #5452 is here
As recently I felt the need (for organizational level reporting) to synchronize labels on distinct repos (see dedicated feedback) :
-
Zq: An Easier (and Faster) Alternative to Jq
There's more details here: https://github.com/github/feedback/discussions/4992#discussi...
> we have also introduced an x-robots-tag: none in the http response header of Wiki pages
> Abusive behavior in Wikis had a negative impact on our search engine ranking
-
GitHub: Private Profiles
Martin from GitHub here. The "leaderboards" are actually what you see as "Most Helpful" tables in GitHub Discussions (see https://github.com/github/feedback/discussions for an example). We should probably change the language on that settings screen - thanks!
mozsearch
-
Firefox tooltip bug fixed after 22 years
- code browsing is primitive compared to https://searchfox.org/ (but most code browsing tool are, in comparison)
- my notifications are completely flooded by lots of useless information on GitHub, but that might be fixable
- our CI system (treeherder/taskcluster) scales, works on Linux/Mac/windows/Android and a bunch of version and arch, integrated with all of the other tools mentioned. Things such as auto-running tests based on the content of the patch, automatic categorization and prioritization of intermittent test failures, or auto-recording test failures and offering a pernosco recording showing the issue are just some of the features that we use daily without even thinking
-
Why SQLite Does Not Use Git
All the time. I would say at least 50% of my code browsing is done from my phone. I make heavily use of the mobile GitHub web interface for this (find-references support has been a godsend, search is still meh, I hate how they keep breaking basic find-in-page with SPA jank). Also Searchfox [0] when I need to comb through Firefox code (fast, excellent, no complaints).
Context: grad student, programming languages and systems research plus a bunch of IoT hacking on my own time. Either elder Gen Z or youngest possible Millennial, depending where you put the cutoff.
-
Sourcegraph is no longer Open Source
[4] is not really a usable 'product'. Livegrep (https://github.com/livegrep/livegrep) was inspired by it and is very usable.
[3] used to be a Google open source project as well, but it fell out of maintenance, and Sourcegraph took it over. It powers most of the basic regex/literal search in Sourcegraph.
Mozilla's code is searchable in Searchfox (https://searchfox.org/) which uses the indexer from Livegrep, combined with their own Git indexer and language-specific cross reference databases.
OpenGrok (https://github.com/oracle/opengrok) is also rather well known, but I have found it to have a slightly worse UI than alternatives.
-
Improving GitHub Code Search
DXR has largely been replaced with mozsearch (https://github.com/mozsearch/mozsearch), and a quick glance through the really early history does show that it adopted a fair amount of stuff from DXR. The downside is that it's not as easy to set up a local mozsearch instance as old-school DXR was.
I helped write DXR for indexing Mozilla's source code based on an instrumented compiler run; this has eventually been developed into mozsearch (https://github.com/mozsearch/mozsearch).
What are some alternatives?
copilot.vim - Neovim plugin for GitHub Copilot
Data-Science-For-Beginners - 10 Weeks, 20 Lessons, Data Science for All!
graphite-cli - Graphite's CLI makes creating and submitting stacked changes easy.
git-stack - Stacked branch management for Git
zed - A novel data lake based on super-structured data
opengrok - OpenGrok is a fast and usable source code search and cross reference engine, written in Java
hoogle - Haskell API search engine
Gitea - Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD
node-osc - Open Sound Control protocol library for Node.js
Monocypher - An easy to use, easy to deploy crypto library