This is really cool. I use Datagrip almost religiously and ended up adding it as a source there and found it really nice to use. *EDIT* One useful thing I tho

This is really cool. I use Datagrip almost religiously and ended up adding it as a source there and found it really nice to use. *EDIT* One useful thing I thought of with this. If you do a lot of development work on iPad Pro and/or in devcontainers, this could be useful as a UI. I have a bookmarks repository that is just a couple of python scripts and collection of json files. This would be useful to spin up a codespace on GitHub and query the files.