Skip to content

Conversation

hvitved
Copy link
Contributor

@hvitved hvitved commented Nov 2, 2022

Reverts #9936

@hvitved hvitved requested a review from aibaars November 2, 2022 10:30
Copy link
Contributor

@aibaars aibaars left a comment

Choose a reason for hiding this comment

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

@erik-krogh is working on a PR to test against latest stable #11078

@hvitved
Copy link
Contributor Author

hvitved commented Nov 2, 2022

@erik-krogh is working on a PR to test against latest stable #11078

OK, in that case we should perhaps not revert this after all.

@erik-krogh
Copy link
Contributor

OK, in that case we should perhaps not revert this after all.

I think so. I think this should be closed.
I sometimes use bleeding edge features, and it's nice to test stuff in a draft PR (e.g. #10604), even though that PR can't be merged yet.

@hvitved hvitved closed this Nov 3, 2022
@hvitved hvitved deleted the revert-9936-gh-codeql-nightly branch November 3, 2022 09:04
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