Post

GitHub
GitHub@github·
Check out the technology preview for GitHub code search, the next iteration for search, discovery, and navigation on GitHub. github.blog/2021-12-08-imp…
English
56
454
2.1K
0
Aofei Sheng
Aofei Sheng@aofeisheng·
@github I thought you might prefer to acquire Sourcegraph rather than build your own alternatives from scratch. 😯
English
0
0
0
0
Paul Masurel 🦀
Paul Masurel 🦀@fulmicoton·
@github Maaaaan that's an awesome feature! I am slightly bummed it is not using tantivy. I would have loved to help build this.
English
0
0
0
0
Aviv Hadar
Aviv Hadar@Avivhdr·
@github Looks 🤩 The only thing that is missing is the option to filter out code results from archived repositories. Sooooo important in large organizations with hundreds or repos.
English
0
0
0
0
Richard Marmorstein
Richard Marmorstein@twitchard·
@github So when I'm searching for something will this search be able to prevent me from getting the 20 results for the same code that has been vendored into 20 different repositories?
English
0
0
0
0
Linh
Linh@linh_at_anvere·
@github They mentioned Lemire, does that mean they use RoaringBitmaps as doclists
English
0
0
0
0
Hash kb
Hash kb@hashimbangash99·
@github Ban all Indians from github app. They are misusing and violation the rules of this app.
English
0
0
0
0
woeivl
woeivl@cengwencong1101·
@github hi,i don't use github,please help me,sorry
English
0
0
0
0
glenn.txt
glenn.txt@ntsglenn·
@github "// how to convert string to javascript date"
English
0
0
0
0
Gof
Gof@imosolare·
@github About time github had Decent search
English
0
0
0
0
Affan Malik
Affan Malik@AffanMa99362394·
@github Somebody in #India thought it was perfectly OK to create an App that puts 100's of Muslim women up for Auction and sale. Even more - @GitHub allowed it to be live for 24 hours. Same on you ppl
English
0
0
0
0
Aristotle‘s Mirror (DrCryptoMandela)
@github I have an issue with my GitHub account. My domain was sniped a year ago! They kept one my projects online somehow. I don’t have access to the webmail connected to the domain and my GitHub account. If I try signin with my username and password it sends a 6 digit code to old email!
English
0
0
0
0
Ali Demirci
Ali Demirci@alidemirci·
@github yeah, meanwhile you can't search for people inside an organization and their support suggests to use their api instead.
Ali Demirci tweet media
English
0
0
0
0
ChummyTees
ChummyTees@ChummyTees·
@github much improved. thanks guys.. will surely save everyone lots of time.
English
0
0
0
0
Paylaş