Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

chore(deps): update dependency org.revapi:revapi-maven-plugin to v0.11.5 #3465

Merged
merged 1 commit into from
Jul 8, 2020

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jun 20, 2020

This PR contains the following updates:

Package Update Change
org.revapi:revapi-maven-plugin patch 0.11.1 -> 0.11.5

Renovate configuration

📅 Schedule: At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻️ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by WhiteSource Renovate. View repository job log here.

@renovate renovate bot force-pushed the renovate/org.revapi-revapi-maven-plugin-0.x branch from abb2dd9 to 765cede Compare June 26, 2020 23:32
@renovate renovate bot force-pushed the renovate/org.revapi-revapi-maven-plugin-0.x branch from 765cede to c2102c4 Compare July 5, 2020 05:39
@monperrus monperrus merged commit 06d06b0 into master Jul 8, 2020
@renovate renovate bot deleted the renovate/org.revapi-revapi-maven-plugin-0.x branch July 8, 2020 07:12
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants