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

Attempt to fix #615 #638

Merged
merged 1 commit into from
Oct 9, 2024
Merged

Attempt to fix #615 #638

merged 1 commit into from
Oct 9, 2024

Conversation

ErikEJ
Copy link
Collaborator

@ErikEJ ErikEJ commented Oct 8, 2024

No description provided.

@jmezach
Copy link
Member

jmezach commented Oct 8, 2024

This looks good in theory. I guess we need to test it to make sure it actually solves #615 ;).

@ErikEJ
Copy link
Collaborator Author

ErikEJ commented Oct 8, 2024

@jmezach Agree, I have no idea - could we publish a preview?

@jmezach
Copy link
Member

jmezach commented Oct 8, 2024

Sure, I'll upload a preview version. Maybe @rapolas-oag can help us test this.

Copy link
Member

@jmezach jmezach left a comment

Choose a reason for hiding this comment

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

LGTM

@ErikEJ
Copy link
Collaborator Author

ErikEJ commented Oct 9, 2024

@jmezach Unable to merge due to two required approvers with write access to the repo...

@jmezach
Copy link
Member

jmezach commented Oct 9, 2024

I'll do a forced merge for this one and then cherry-pick it to our release branch and publish a patch release.

@jmezach jmezach merged commit a237ebc into rr-wfm:master Oct 9, 2024
10 checks passed
jmezach pushed a commit that referenced this pull request Oct 9, 2024
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.

2 participants