Closed bertsky closed 2 years ago
@bertsky Oh ok sorry there was no change since some hour's and so i thought that i can merge this. Can we use the "draft" status of PR to mark that PR is not ready to merge?
We can, but I assumed this was understood by my other communication ...
You can still merge this branch again, but not via Github, only on CLI. I'll give you a heads up.
Everything is ready for (re-)merging.
oh, no! That was too soon