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.

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

Cleanup republisher #58

Merged
merged 2 commits into from
Feb 19, 2024
Merged

Cleanup republisher #58

merged 2 commits into from
Feb 19, 2024

Conversation

ahcorde
Copy link
Collaborator

@ahcorde ahcorde commented Feb 16, 2024

Cleanup republisher

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
@ahcorde ahcorde self-assigned this Feb 16, 2024
Copy link
Contributor

@clalancette clalancette left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me with green CI.

@ahcorde
Copy link
Collaborator Author

ahcorde commented Feb 16, 2024

  • Linux Build Status
  • Linux-aarch64 Build Status
  • Windows Build Status

@ahcorde
Copy link
Collaborator Author

ahcorde commented Feb 19, 2024

  • Linux Build Status
  • Linux-aarch64 Build Status
  • Windows Build Status

@ahcorde ahcorde merged commit 81dc46b into rolling Feb 19, 2024
4 checks passed
@ahcorde ahcorde deleted the ahcorde/rolling/republisher branch February 19, 2024 13:42
john-maidbot pushed a commit that referenced this pull request Mar 23, 2024
Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
john-maidbot pushed a commit that referenced this pull request Mar 23, 2024
Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
ahcorde added a commit that referenced this pull request Mar 25, 2024
Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
Co-authored-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
ahcorde added a commit that referenced this pull request Mar 25, 2024
Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
Co-authored-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants