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

Implement dependabot automerge #74

Closed
dalonsoa opened this issue Sep 30, 2024 · 5 comments · Fixed by #89
Closed

Implement dependabot automerge #74

dalonsoa opened this issue Sep 30, 2024 · 5 comments · Fixed by #89
Labels
github_actions Pull requests that update GitHub Actions code Hacktoberfest infrastructure Related to changes in the infrastructure, the CI, etc.

Comments

@dalonsoa
Copy link
Collaborator

dalonsoa commented Sep 30, 2024

Dependabot is a tool that automatically upgrade dependencies when there's a new version. It works for, the software dependencies, but also the version of the GitHub action workflows and pre-commit.

At the moment, it just opens PR with the new versions, but if no-one keeps an eye on them, they are never merged.

Things should be arranged such that the PR related to dependabot (and pre-commit) are automatically merged if all checks pass. This is done via a workflow file, such as https://github.com/ImperialCollegeLondon/paricia/blob/main/.github/workflows/auto-merge.yml

@dalonsoa dalonsoa changed the title Implement dependabot Implement dependabot automerge Sep 30, 2024
@dalonsoa dalonsoa added infrastructure Related to changes in the infrastructure, the CI, etc. github_actions Pull requests that update GitHub Actions code labels Oct 1, 2024
@mikeheyns
Copy link
Contributor

@dalonsoa is this a simple lift and shift from the example workflow file or are we expecting any gremlins?

@dalonsoa
Copy link
Collaborator Author

dalonsoa commented Oct 1, 2024

It should be a simple lifts and shift, but you never know where gremlins lure... :)

@mikeheyns
Copy link
Contributor

Great - and how would you like to manage contributions? Update the infrastructure branch and push to that? May need permissions

@dalonsoa
Copy link
Collaborator Author

dalonsoa commented Oct 1, 2024

Nope, you create a separate branch just for this stuff and then open a PR against develop.

@dalonsoa
Copy link
Collaborator Author

dalonsoa commented Oct 1, 2024

You probably need to fork the repo to your own account.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
github_actions Pull requests that update GitHub Actions code Hacktoberfest infrastructure Related to changes in the infrastructure, the CI, etc.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants