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

fix(ci): Allow deps-dev PR scope for dependabot #12616

Merged
merged 1 commit into from May 3, 2022

Conversation

thmsschmitt
Copy link
Contributor

Summary

For npm development dependancies dependabot uses the scope deps-dev see 53ba8f5

For npm development dependancies dependabot uses the scope deps-dev see magma@53ba8f5

Signed-off-by: Thomas Schmitt <thomas.schmitt@tngtech.com>
@thmsschmitt thmsschmitt requested a review from a team as a code owner May 3, 2022 06:33
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines. label May 3, 2022
@github-actions
Copy link
Contributor

github-actions bot commented May 3, 2022

Thanks for opening a PR! 💯

A couple initial guidelines

Howto

  • Reviews. The "Reviewers" listed for this PR are the Magma maintainers who will shepherd it.
  • Checks. All required CI checks must pass before merge.
  • Merge. Once approved and passing CI checks, use the ready2merge label to indicate the maintainers can merge your PR.

More info

Please take a moment to read through the Magma project's

If this is your first Magma PR, also consider reading

@github-actions github-actions bot added the component: ci All updates on CI (Jenkins/CircleCi/Github Action) label May 3, 2022
@thmsschmitt thmsschmitt merged commit bafde48 into magma:master May 3, 2022
emakeev pushed a commit to emakeev/magma that referenced this pull request Aug 5, 2022
For npm development dependancies dependabot uses the scope deps-dev see magma@53ba8f5

Signed-off-by: Thomas Schmitt <thomas.schmitt@tngtech.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: ci All updates on CI (Jenkins/CircleCi/Github Action) size/XS Denotes a PR that changes 0-9 lines.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants