Ah, I realize now, that we are currently restructuring the CI, such that we can't run PRs from forks. @mosonyi , @OverOrion how far are we from fixing this?

Hey @Kailai-Wang

Thank you very much for the PR, it is much appreciated. As @clangenb have already said, we can't accept PRs from forks as of now.

If it is alright with you I will crate a new branch with your commit and open a new PR, so the CI will be able to run. Is that okay with you?

Hey @Kailai-Wang

Thank you very much for the PR, it is much appreciated. As @clangenb have already said, we can't accept PRs from forks as of now.

If it is alright with you I will crate a new branch with your commit and open a new PR, so the CI will be able to run. Is that okay with you?

Sure, please go ahead :)

Superseded by #1320