Skip to content
This repository was archived by the owner on Aug 20, 2025. It is now read-only.

Conversation

@casassg
Copy link
Member

@casassg casassg commented Oct 12, 2022

Short update for master

@casassg casassg requested a review from hanneshapke as a code owner October 12, 2022 23:07
@github-actions
Copy link
Contributor

Thanks for the PR! 🚀

Instructions: Approve using /lgtm and mark for automatic merge by using /merge.

@hanneshapke
Copy link
Contributor

/lgtm

@github-actions
Copy link
Contributor

Approval received from @hanneshapke! ✅

PR is approved. Missing merge command to auto-merge PR!

@hanneshapke
Copy link
Contributor

/merge

@github-actions github-actions bot merged commit 7e49f24 into main Oct 12, 2022
@github-actions
Copy link
Contributor

Merged with approvals from hanneshapke - thanks for the contribution! 🎉

@casassg casassg deleted the casassg/0.5 branch October 18, 2022 18:43
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants