Re: Announcing githubsearch!

No I think you only get one version. Maybe we can try adding the green background out regular making it gray and keeping the transparent background? On Mon, Feb 26, 2024, 2:53 PM Michael McCandless wrote: > Done! Deployed! Thank you Mike S. > > Though on my "dark mode" Chrome on a Macbook,

Re: Announcing githubsearch!

Done! Deployed! Thank you Mike S. Though on my "dark mode" Chrome on a Macbook, it's super dark. I can make it out but I gotta stare for a bit ... do they make light and dark mode .ico files in one!? Mike McCandless http://blog.mikemccandless.com On Sun, Feb 25, 2024 at 6:05 PM Michael

Re: Announcing githubsearch!

here is a favicon you might want to try: I cropped the "VL" from the Apache Lucene logo (ok I guess it's an AL) -- if you save it as favicon.ico in the root of your website (ie as url /favicon.ico) it should show up in bookmarks, browser toolbars, etc as a handy memory aid. Of course you might

Re: Announcing githubsearch!

Great job! Thanks Mike! > 2024年2月22日 22:31，Alessandro Benedetti 写道： > > That's cool Mike! Well done! > > On Wed, 21 Feb 2024, 22:02 Anshum Gupta, > wrote: >> This is great! Like always, thank you Mike! >> >> On Mon, Feb 19, 2024 at 8:40 AM Michael McCandless

Re: Announcing githubsearch!

That's cool Mike! Well done! On Wed, 21 Feb 2024, 22:02 Anshum Gupta, wrote: > This is great! Like always, thank you Mike! > > On Mon, Feb 19, 2024 at 8:40 AM Michael McCandless < > luc...@mikemccandless.com> wrote: > >> Hi Team, >> >> ~1.5 years ago (August 2022) we migrated our Lucene issue

Re: Announcing githubsearch!

This is great! Like always, thank you Mike! On Mon, Feb 19, 2024 at 8:40 AM Michael McCandless < luc...@mikemccandless.com> wrote: > Hi Team, > > ~1.5 years ago (August 2022) we migrated our Lucene issue tracking from > Jira to GitHub. Thank you Tomoko for all the hard work doing such a >

Re: Announcing githubsearch!

On Tue, Feb 20, 2024 at 10:06 AM Stefan Vodita wrote: Thank you Mike, I really like all the facets! > Me too lol. It was one of the big motivators for me to build this out. GitHub's search didn't have all the facet drill-downs/up/sideways I wanted. Some of them are super useful like "which

Re: Announcing githubsearch!

Oops, I followed a link which went to the main GitHub search. Nevermind. I’m getting zero results for “wunder” now, no error. Looks like my username there is “wrunderwood”, that is working correctly as are quoted searches for my name. I’l fool around some more, but so far it looks clean and

Re: Announcing githubsearch!

Thank you Mike, I really like all the facets! One thing that bothered me about GitHub's own search was that it would return different results if I wasn't signed in. Maybe it does early stopping for non-authenticated users? In any case, this won't be a problem with githubsearch. Have you

Re: Announcing githubsearch!

Awesome! I love it. Very useful. -Chris. > On 20 Feb 2024, at 11:40, Michael McCandless > wrote: > > Thank you for all the warm feedback everyone, and all the exciting issues > already uncovered / ideas for improvements. Now I have some more fun work to > do! > > Mike McCandless > >

Re: Announcing githubsearch!

Thank you for all the warm feedback everyone, and all the exciting issues already uncovered / ideas for improvements. Now I have some more fun work to do! Mike McCandless http://blog.mikemccandless.com On Mon, Feb 19, 2024 at 12:58 PM Julie Tibshirani wrote: > This is so cool! Thank you

Re: Announcing githubsearch!

On Mon, Feb 19, 2024 at 1:00 PM Walter Underwood wrote: It appears to always search prefixes, so there is no way to search for > “wunder” without getting “wundermap” and “wunderground”. Putting the term > in quotes doesn’t turn that off. > Hmm that shouldn't be the case? It does split on camel

Re: Announcing githubsearch!

On Tue, Feb 20, 2024 at 6:01 AM Michael Sokolov wrote: I love the gray all text UI. Don't change it! But I wonder if it's time for > a favicon? > LOL favicon! You do NOT want to have to confront my artistic skills! Mike McCandless http://blog.mikemccandless.com >

Re: Announcing githubsearch!

I love the gray all text UI. Don't change it! But I wonder if it's time for a favicon? On Tue, Feb 20, 2024, 4:40 AM Adrien Grand wrote: > Very cool, thank you Mike! > > On Mon, Feb 19, 2024 at 5:40 PM Michael McCandless < > luc...@mikemccandless.com> wrote: > >> Hi Team, >> >> ~1.5 years ago

Re: Announcing githubsearch!

Very cool, thank you Mike! On Mon, Feb 19, 2024 at 5:40 PM Michael McCandless < luc...@mikemccandless.com> wrote: > Hi Team, > > ~1.5 years ago (August 2022) we migrated our Lucene issue tracking from > Jira to GitHub. Thank you Tomoko for all the hard work doing such a > complex, multi-phased,

Re: Announcing githubsearch!

Next step towards full meta would be by writing a Lucene Introduction book, using code examples from this project and the dataset this project uses. Regards, Alex On Mon, Feb 19, 2024, 11:40 a.m. Michael McCandless < luc...@mikemccandless.com> wrote: > Hi Team, > > ~1.5 years ago

Re: Announcing githubsearch!

Cool Mike! On Mon, Feb 19, 2024 at 11:41 AM Michael McCandless wrote: > > Hi Team, > > ~1.5 years ago (August 2022) we migrated our Lucene issue tracking from Jira > to GitHub. Thank you Tomoko for all the hard work doing such a complex, > multi-phased, high-fidelity migration! > > I finally

Re: Announcing githubsearch!

It appears to always search prefixes, so there is no way to search for “wunder” without getting “wundermap” and “wunderground”. Putting the term in quotes doesn’t turn that off. wunder Walter Underwood wun...@wunderwood.org http://observer.wunderwood.org/ (my blog) > On Feb 19, 2024, at 8:39 

Re: Announcing githubsearch!

This is so cool! Thank you Mike for developing and hosting these services! Julie On Mon, Feb 19, 2024 at 9:40 AM Michael Wechner wrote: > thank you very much! > > Am 19.02.24 um 17:39 schrieb Michael McCandless: > > Hi Team, > > ~1.5 years ago (August 2022) we migrated our Lucene issue

Re: Announcing githubsearch!

thank you very much! Am 19.02.24 um 17:39 schrieb Michael McCandless: Hi Team, ~1.5 years ago (August 2022) we migrated our Lucene issue tracking from Jira to GitHub. Thank you Tomoko for all the hard work doing such a complex, multi-phased, high-fidelity migration! I finally finished also

Announcing githubsearch!

Hi Team, ~1.5 years ago (August 2022) we migrated our Lucene issue tracking from Jira to GitHub. Thank you Tomoko for all the hard work doing such a complex, multi-phased, high-fidelity migration! I finally finished also migrating jirasearch to GitHub: githubsearch.mikemccandless.com. It was