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.

Sign up for GitHub

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

Jump to bottom

Remove infrahub-sync #4200

Merged
merged 2 commits into from
Aug 30, 2024
Merged

Remove infrahub-sync #4200

merged 2 commits into from
Aug 30, 2024

Conversation

BeArchiTek
Copy link
Contributor

@github-actions github-actions bot added the group/ci Issue related to the CI pipeline label Aug 28, 2024
@BeArchiTek BeArchiTek self-assigned this Aug 28, 2024
@BeArchiTek BeArchiTek added the ci/skip-changelog Don't include this PR in the changelog label Aug 28, 2024
@BeArchiTek BeArchiTek marked this pull request as ready for review August 29, 2024 20:19
@BeArchiTek BeArchiTek merged commit db7b912 into develop Aug 30, 2024
41 checks passed
@BeArchiTek BeArchiTek deleted the remove-infrahub-sync branch August 30, 2024 10:05
@BeArchiTek BeArchiTek changed the title WIP: Remove infrahub-sync Remove infrahub-sync Aug 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dgarros dgarros dgarros approved these changes

Assignees

@BeArchiTek BeArchiTek

Labels
ci/skip-changelog Don't include this PR in the changelog group/ci Issue related to the CI pipeline
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@BeArchiTek @dgarros