mozsearch
bar
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.
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.
[0] https://searchfox.org
-
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.
-
Firefox 113.x quietly adds new Linux system requirements
Try using Searchfox to find references to those libraries. When you open a result, hover your mouse over the left column to see what commit added each line.
- Fetch API Implementation source
-
How to find the name of elements for firefox css
You might want to lokk at this, and this, and this .
- What environment variables does Firefox need on Linux?
-
Does this CSS rule crash anyone else's firefox?
Layout is hella broken, obviously, but it doesn't crash. You can do a search for progresschunck at https://searchfox.org to find what it means.
-
Swipe to navigate arrow indicator
https://searchfox.org/ should be you go-to tool to search Firefox code-base.
-
How to apply some css changes only to one (firefox's dark) theme?
Also, you can use browser toolbox to inspect Firefox UI and see what styles are being applied to it and to figure out what selectors to use. Of course, there is also https://searchfox.org/ for when you need to figure out exactly how Firefox is doing some feature x.
bar
-
Teller: Universal secret manager, never leave your terminal to use secrets
$ pass git remote add origin https://github.com/foo/bar.git
-
Can someone explain me esily how to use an existing Github repo locally?
git clone https://github.com/foo/bar /some/directory. Even better, set up ssh keypair and clone via ssh, so you don't need to type your username and password each time you push. The correct address will be on GitHub, under green Clone button, just change it from https to ssh.
-
The technology behind GitHub’s new code search
Yes, just change the URL from https://github.com/foo/bar to https://sourcegraph.com/github.com/foo/bar to be dropped in to a code search for that GH repo.
-
Information of or automatic updates from github repos?
nchecker. Also, https://github.com/foo/bar/releases.atom
-
Show HN: Personal productivity workspace for busy people
This seems very good.
1. This looks like Notion, which is good. Notion succeeded by being pretty.
2. It feels...I don't know the way to say it, but the appropriately level of solid (I don't accidentally drag and drop stuff), fast, and just easy to use. No non-modal mix of commands and typing makes entering information frustrating. It feels like typing into Notepad. It's frustration-free.
3. I would like if the dashboard showed unscheduled tasks (as a collapsible section at the very bottom, below Completed.)
4. I have TODOs of the form "Deploy XYZ" and ideally they would be "Deploy XYZ - https://github.com/foo/bar/pull/1337" -- but this adds a lot of clutter to the task list. If there were a way to add details or attach notes to tasks, that would be helpful. (It would also add clutter, so be careful. Just a "Details" link next to "Schedule" and the tags might work. Make it open a note on the right, perhaps?)
5. The "Schedule" link below each item makes me think I haven't scheduled the item, but I have. It should say "Today" (when I'm looking at today on the dashboard).
6. The importing of calendars scared me as it populated a giant list, including my coworkers calendars that I've subscribed to (but have set to not display), but turned out fine. Only the ones I have set to display in Google Calendar display in Emery by default. The import UX maaaaybe could be better / less aggressive, but it works.
7. The dichotomy between "schedule this for today" and "add this to a specific time on my calendar" still exists, and frustrates me, but the ability to sort the tasks helps.
8. It's good that this is opinionated. Stay focused and reject most feature requests, including mine.
9. You got me to enter my credit card before I even got to play around with it. That's impressive, but you are definitely cutting your top-of-funnel with that requirement. (Maybe it pays off by increasing conversion at the free trial->paid step, or maybe you only want true believers at the beginning, but the payment form would usually have turned me away.)
10. Can I export my data? In seven days, am I going to have to manually copy-and-paste all my notes and outstanding TODOs back into my old system if I decide this isn't for me? This risk also makes me hesitant to go all-in during the trial period. (An export wouldn't fully solve this, since I'd then have a messy JSON file or something to deal with, but I'd feel a little better about it.)
-
Best way to work on a composer package (library) while it's being used inside of a project?
Thank you, I tested this and it looks very promising. It does in fact change the composer.json accordingly, so I can use this command instead of hand-editing the json file. This means that I have commit to my git repo a `path` repository pointing to my dev package, but in my Dockerfile for production build I can run composer config repositories.foo vcs https://github.com/foo/bar to change "foo" on the fly to something else (e.g. git)
-
Commenting code: yes or no?
// We have to discard the first read of this sensor because of a know bug // in its firmware. Remove the redundant read after this issue has been resolved: // https://github.com/foo/bar/issues/10 temperatureSensor.read(); let temp = temperatureSensor.read();
-
Code online always starts with $?
$ git clone https://github.com/foo/bar.git
-
Improving GitHub Code Search
The best thing about the Sourcegraph instance hosted on sourcegraph.com is that you can edit the URL in your browser from https://github.com/foo/bar to https://sourcegraph.com/github.com/foo/bar to be dropped down into a Sourcegraph search for that GH repo. I've been using it for a long time because of this convenience.
(Though it would be even better if the two options for case-sensitivity and regex search were enabled by default instead of needing me to toggle them on every time.)
-
Git as a Storage
> I think you can get the wiki with plain old 'git' ? I forget ...
This is correct. The wiki for a repo is accessible as a separate repository named with a suffix of “.wiki”.
So if user foo has a repo bar with an associated wiki, and the repo URL is https://github.com/foo/bar then you can clone the repo and the wiki respectively over SSH by:
git clone [email protected]:foo/bar.git
What are some alternatives?
opengrok - OpenGrok is a fast and usable source code search and cross reference engine, written in Java
nvchecker - New version checker for software releases
hoogle - Haskell API search engine
zoekt - Fast trigram based code search
sourcegraph - Code AI platform with Code Search & Cody
gitlab
chrono - Date and time library for Rust
stack-graphs - Rust implementation of stack graphs
codesearch - Fast, indexed regexp search over large file trees
feedback - Public feedback discussions for: GitHub for Mobile, GitHub Discussions, GitHub Codespaces, GitHub Sponsors, GitHub Issues and more! [Moved to: https://github.com/github-community/community]
git-peek - git repo to local editor instantly
grimoirelab-perceval - Send Sir Perceval on a quest to retrieve and gather data from software repositories.