![]() |
|
![]() |
| There are some alternatives like https://grep.app or https://sourcegraph.com/search if you want fast live search, but at the end of the day these are services offered by companies, and rather expensive ones especially for free anonymous users, so you should probably at least accept that service providers can and do change things like this.
You can also run something like your own copy of Zoekt and then ingest repositories on demand though it isn't quite as instant. But if it's code you're already using extensively, it seems like it might be worth it. Maybe you can write some boondoggle to automatically ingest repos based on dependency metadata, even. |
![]() |
| > I would submit that this change is entirely business-related
Developers working on it have said it's due to performance reasons. I don't have a link handy, but it's in some HN thread. |
![]() |
| So those people are outright lying through their teeth? Got it.
You're just reasoning from negativity and cynicism. No evidence for anything. Other than "zomg they're bad". |
![]() |
| One day I’m going to share stories here of how the "Columbia House Record Club" worked to watch people assume the foetal position and rock themselves to horrified sleep. |
![]() |
| I deleted my account and moved my stuff when Microsoft took it over, and never looked back. A project on Github is a project i will not interact with. People have very short memories. |
![]() |
| "more money than you" is a pretty crazy strawman of the actual comparison they made.
The general idea of imposing more user-friendliness on very large corporations is not a bad one. |
![]() |
| Do you have to be logged in to open a repo with the web version of vscode on GitHub? If not, that could make for a Good Enough search interface. Try pressing `.` on a repo page to see if it works |
![]() |
| Source control is not like other systems. It's (largely) a backup of stuff that is stored elsewhere. Resilience/ monopoly concerns are much less. |
![]() |
| I think it would've been a better choice to move to something they host like gitea or gitlab. nonetheless it's a step in the right direction, nobody should use mail+git in this day and age. |
![]() |
| Yup, here I was wondering why I already had it starred if this move only happened today, but then reached the same conclusion that it was probably a mirror repository before. |
![]() |
| > You’re confusing motivation with requirements. I’m talking about requirements.
Or, they just disagree with your statement. It would have been better they say why though. |
![]() |
| > Most of all, we can't wait to
see all of your contributions, discussions and feedback, as we move into this
next chapter for NGINX.
The real economic reason to open source part of your product. |
![]() |
| I use it because its good right now. I used Windows until it turned bad (8) and Linux was easier.
If GitHub becomes shit I'm moving my projects off of there and that's that. |
![]() |
| Sad day for everyone, but it was probably inevitable with the original devs gone and the project managed by suit-types. No one gets fired for buying Microsoft and all that. |
What's the state of nginx nowadays? Last I heard the original core team had fractured and formed two different forks while F5 continued to develop OG nginx, so there's three nginxes being developed in parallel now. Have the forks gained any traction?