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

Enable dependabot to update github-actions #1386

Merged
merged 1 commit into from
Jan 6, 2023
Merged

Conversation

maresb
Copy link
Contributor

@maresb maresb commented Jan 5, 2023

Replaces #1377

This seems to be a simpler solution, since it doesn't require a bot account.

For initial testing I set the interval to daily, but to reduce noise we probably want to reduce this to weekly or monthly.

Thank you for opening a PR!

Here are a few important guidelines and requirements to check before your PR can be merged:

  • There is an informative high-level description of the changes.
  • The description and/or commit message(s) references the relevant GitHub issue(s).
  • pre-commit is installed and set up.
  • The commit messages follow these guidelines.
  • The commits correspond to relevant logical changes, and there are no commits that fix changes introduced by other commits in the same branch/BR.
  • There are tests covering the changes introduced in the PR.

Don't worry, your PR doesn't need to be in perfect order to submit it. As development progresses and/or reviewers request changes, you can always rewrite the history of your feature/PR branches.

If your PR is an ongoing effort and you would like to involve us in the process, simply make it a draft PR.

@brandonwillard brandonwillard added the CI Involves continuous integration label Jan 6, 2023
Copy link
Member

@brandonwillard brandonwillard left a comment

Choose a reason for hiding this comment

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

Much simpler!

@maresb maresb merged commit e88fd04 into main Jan 6, 2023
@maresb maresb deleted the update-gha-dependabot branch January 6, 2023 07:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Involves continuous integration
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants