This message was deleted.

Feel free to just open a pull request, the CI will run the checks for you. If you want to run them locally and have vscode and docker installed there is a devcontainer file set up, it might work better than the gitpod file.

Thanks, I’ve opened PR