Skip to content

Merge stable into develop #6345

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 3 commits into from
Apr 24, 2025
Merged

Merge stable into develop #6345

merged 3 commits into from
Apr 24, 2025

Conversation

infrahub-github-bot-app[bot]
Copy link

Merging stable into develop after merging pull request #6344.

@github-actions github-actions bot added the group/ci Issue related to the CI pipeline label Apr 22, 2025
* WIP patch for removing dup kind-migrated nodes following a merge

* WIP patch framework

* patch commands and framework

* add restore method

* update tests for reverting a patch

* generate cli docs

* update docs

* remove actual patch from this branch

* consolidate file names for patch plans

* make elementId function use dynamic

* one more docstring

* refactor to track deleted IDs in a file and add failure tests

* delete edges first during revert

* move call order around

* small changes for PR feedback

* do vertex/edge adds in transactions

* generate docs again

* fix for reverting deleted edge linked to deleted vertex
@ajtmccarty ajtmccarty requested review from a team as code owners April 24, 2025 14:24
@github-actions github-actions bot added type/documentation Improvements or additions to documentation group/backend Issue related to the backend (API Server, Git Agent) labels Apr 24, 2025
Copy link

codspeed-hq bot commented Apr 24, 2025

CodSpeed Performance Report

Merging #6345 will not alter performance

Comparing stable (debb8a9) with develop (fa2349b)

Summary

✅ 10 untouched benchmarks

@ajtmccarty ajtmccarty merged commit 282e91f into develop Apr 24, 2025
72 of 73 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
group/backend Issue related to the backend (API Server, Git Agent) group/ci Issue related to the CI pipeline type/documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants