Skip to content
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.

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

github-bots: add a function to search for a filename in a repo #643

Merged
merged 3 commits into from
Nov 27, 2024

Conversation

hectorj2f
Copy link
Member

On the ai remediation bot, we need to search for specific filenames on a repository such as go.mod, pyproject.toml, Cargo.toml... If these files are found then we get the content specifying the path using another existing function GetFileContent which would be used to generate a precise patch.

@hectorj2f hectorj2f self-assigned this Nov 27, 2024
@hectorj2f hectorj2f changed the title github-bots: add a function to search for a filename in a repo [DNM] github-bots: add a function to search for a filename in a repo Nov 27, 2024
@hectorj2f hectorj2f changed the title [DNM] github-bots: add a function to search for a filename in a repo github-bots: add a function to search for a filename in a repo Nov 27, 2024
modules/github-bots/sdk/github.go Show resolved Hide resolved
modules/github-bots/sdk/github.go Outdated Show resolved Hide resolved
@hectorj2f hectorj2f enabled auto-merge (squash) November 27, 2024 20:51
Copy link
Member

@vaikas vaikas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@hectorj2f hectorj2f merged commit 8333060 into chainguard-dev:main Nov 27, 2024
84 checks passed
@hectorj2f hectorj2f deleted the filename_search_repo branch November 27, 2024 21:30
@vaikas
Copy link
Member

vaikas commented Nov 27, 2024

I was wondering if we might be able to use mocks for some of these
google/go-github#1800

Leads me to:
https://github.com/migueleliasweb/go-github-mock

Just something to think about for future.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants