Skip to content

Use Dependabot to maintain dependencies of the ruledocsgen module #311

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

Merged
merged 1 commit into from
Dec 15, 2021
Merged

Use Dependabot to maintain dependencies of the ruledocsgen module #311

merged 1 commit into from
Dec 15, 2021

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Dec 15, 2021

The repository contains three Go modules:

  • github.com/arduino/arduino-lint - in the repository root
  • github.com/arduino/arduino-lint/docsgen - in docsgen/
  • github.com/arduino/arduino-lint/ruledocsgen - in ruledocsgen/

Dependabot has been configured to submit PRs for updates of the first two modules, but the Dependabot configuration was
not updated at the time the github.com/arduino/arduino-lint/ruledocsgen module was added, so it is not receiving that
important service.

The repository contains three Go modules:

- github.com/arduino/arduino-lint - in the repository root
- github.com/arduino/arduino-lint/docsgen -  in docsgen/
- github.com/arduino/arduino-lint/ruledocsgen -  in ruledocsgen/

Dependabot has been configured to submit PRs for updates of the first two modules, but the Dependabot configuration was
not updated at the time the github.com/arduino/arduino-lint/ruledocsgen module was added, so it is not receiving that
important service.
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Dec 15, 2021
@per1234 per1234 self-assigned this Dec 15, 2021
@per1234 per1234 merged commit e7c6ff5 into arduino:main Dec 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants