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

Clean shutdown example position #135

Merged
merged 1 commit into from May 23, 2023

Conversation

ahcorde
Copy link
Collaborator

@ahcorde ahcorde commented May 16, 2023

Clean shutdown example position

Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
@ahcorde ahcorde requested review from destogl and bmagyar May 16, 2023 16:16
@ahcorde ahcorde self-assigned this May 16, 2023
@ahcorde ahcorde enabled auto-merge (squash) May 23, 2023 12:11
@ahcorde ahcorde merged commit d4ae88b into master May 23, 2023
7 checks passed
@ahcorde ahcorde deleted the ahcorde/clean_shutdown_example_positin branch May 23, 2023 13:28
@bmagyar
Copy link
Member

bmagyar commented May 23, 2023

@Mergifyio backport humble

@mergify
Copy link
Contributor

mergify bot commented May 23, 2023

backport humble

✅ Backports have been created

mergify bot pushed a commit that referenced this pull request May 23, 2023
Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
(cherry picked from commit d4ae88b)
bmagyar pushed a commit that referenced this pull request May 23, 2023
Signed-off-by: Alejandro Hernández Cordero <ahcorde@gmail.com>
(cherry picked from commit d4ae88b)

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