rvantonder
Follow
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
2,693 contributions in the last year
Contribution activity
August 2020
Created a pull request in sourcegraph/sourcegraph that received 6 comments
web: highlight search operators and/or/not
Adds highlighting for and/or/not. It does not have to be these colors. @rrhyne @felixfbecker please weigh in your thoughts on a color choice for op…
+42
−12
•
6
comments
- search: add github.com start anchor for literal patterns on dotcom
- search: update integration tests for parser migration
- remove replacer service (take 2)
- remove replacer service (take 2)
- search: fix panic calling getExactFilePatterns for unguarded glob flag
- Perform same trailing paren heuristic as old parser in new parser
- search: filter out noisy inputs used in diff testing
- search: differential parser test utility
- search: don't fuzzy search repos if rev is specified
- search: document -content and NOT
- search: facilitate simple searches if globbing is active
- Perform same trailing paren heuristic as old parser in new parser
- web: highlight search operators and/or/not
- search: fuzzify regex patterns for suggestions if globbing is active
- search: trace zoekt when count or timeout is specified
- search: specify branch for zoektSearchHEADOnlyFiles
Created an issue in sourcegraph/sourcegraph that received 4 comments
Globbing: don't search fuzzy repos when @commit is present
For something like: repo:github.com/sourcegraph/sourcegraph@master, I think it's fair to assume we don't need to fuzzify to repo:github.com/sourceg…
4
comments
5
contributions
in private repositories
Aug 1 – Aug 10