Skip to content

Enhancement: Extract merge workflow#79

Merged
localheinz merged 1 commit intomainfrom
feature/merge
Oct 18, 2024
Merged

Enhancement: Extract merge workflow#79
localheinz merged 1 commit intomainfrom
feature/merge

Conversation

@localheinz
Copy link
Copy Markdown
Owner

This PR

  • extracts a merge workflow

@localheinz localheinz self-assigned this Oct 18, 2024
@localheinz localheinz merged commit 6650f10 into main Oct 18, 2024
@localheinz localheinz deleted the feature/merge branch October 18, 2024 08:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant