Closed tamasvajk closed 1 year ago
Feel free to merge without review on readme's etc.
I don't think I have the right to merge:
Only those with write access to this repository can merge pull requests.
Sorry, I thought you were on the semantic team at GitHub who have write access.
I've sent you a write-access invite to this repo.
Sorry, I thought you were on the semantic team at GitHub who have write access.
I've sent you a write-access invite to this repo.
Thanks. No, I'm in CodeQL.
Feel free to merge without review on readme's etc.