Skip to content

Add support for diff-informed queries #2559

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
cklin merged 7 commits into from
Oct 31, 2024
Merged

Add support for diff-informed queries #2559

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
2bfc468
Add decodeGitFilePath()
cklin Oct 21, 2024
5e475b7
Add debug logging to runGitCommand()
cklin Oct 21, 2024
db53998
Add Git helper functions
cklin Oct 23, 2024
b311eee
Add sarifRunPropertyFlag to databaseInterpretResults()
cklin Oct 21, 2024
f7935cc
Diff-informed PR analysis
cklin Oct 29, 2024
94b5d39
build: refresh js files
cklin Oct 29, 2024
a282158
Merge branch 'main' into cklin/diff-range-filtering
cklin Oct 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'main' into cklin/diff-range-filtering
  • Loading branch information
@cklin
cklin committed Oct 31, 2024
commit a28215865a54825d1e63158a7fd8808d0c25b797
Loading
You are viewing a condensed version of this merge commit. You can view the full changes here.