Skip to content

Combined dependencies PR - #6173

Merged
eddumelendez merged 3 commits into
mainfrom
combined-pr-branch
Nov 14, 2022
Merged

eddumelendez merged 3 commits into
mainfrom
combined-pr-branch

Conversation

@eddumelendez

Copy link
Copy Markdown
Member

Combining multiple dependencies PRs into one.

Instructions for merging
  • Use a merge commit, so that GitHub will mark all original PRs as merged.
  • If your repository does not have merge commits enabled, please temporarily enable them in settings. Tick Allow merge commits in the repository settings.
  • When ready, merge this PR using Create a merge commit.

Combined PRs

dependabot Bot and others added 3 commits November 14, 2022 21:34
Bumps [orientdb-gremlin](https://github.com/orientechnologies/orientdb-gremlin) from 3.2.0 to 3.2.12.
- [Release notes](https://github.com/orientechnologies/orientdb-gremlin/releases)
- [Commits](orientechnologies/orientdb-gremlin@3.2.0...3.2.12)

---
updated-dependencies:
- dependency-name: com.orientechnologies:orientdb-gremlin
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [orientdb-client](https://github.com/orientechnologies/orientdb) from 3.2.0 to 3.2.12.
- [Release notes](https://github.com/orientechnologies/orientdb/releases)
- [Changelog](https://github.com/orientechnologies/orientdb/blob/develop/history.txt)
- [Commits](orientechnologies/orientdb@3.2.0...3.2.12)

---
updated-dependencies:
- dependency-name: com.orientechnologies:orientdb-client
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
…db/com.orientechnologies-orientdb-gremlin-3.2.12' into combined-pr-branch
@eddumelendez
eddumelendez requested a review from a team November 14, 2022 21:56
@eddumelendez eddumelendez added the dependencies Pull requests that update a dependency file label Nov 14, 2022
@eddumelendez
eddumelendez merged commit 3280fda into main Nov 14, 2022
@eddumelendez
eddumelendez deleted the combined-pr-branch branch November 14, 2022 22:05
@eddumelendez eddumelendez added this to the next milestone Nov 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file modules/orientdb

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant