Skip to content

Conversation

@ChristophWurst
Copy link
Member

There seem to be problems with the current deployment. Reverting draft PRs to localize the issue.

@ChristophWurst ChristophWurst self-assigned this Feb 3, 2023
@skjnldsv skjnldsv merged commit 0096d17 into master Feb 3, 2023
@skjnldsv skjnldsv deleted the fix/github/no-draft-pr branch February 3, 2023 09:02
@skjnldsv
Copy link
Member

skjnldsv commented Feb 3, 2023

Deployed

@ChristophWurst
Copy link
Member Author

As far as I can tell backports still fail

@ChristophWurst
Copy link
Member Author

#366 was the issue

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.

3 participants