Frederick

Implement edgedb instance stop for cloud instances

2

`edgedb instance stop` should work for cloud instances.

Implement edgedb instance start for cloud instances

4

`edgedb instance start` should work for cloud instances.

`edgedb instance logs` is currently not implemented for cloud instances but is needed.

secret_key should be included in instance credentials output

4

Currently (EdgeDB CLI 2.3.0-dev.902+e29ccdb) `secret_key` doesn't appear in the output from `edgedb instance credentials` but it probably should.

errors casting json values don't provide location

1

It would be much more helpful if errors gave a path to the error location in the json data. Ideally this information would be both obvious to humans reading the...

Can't figure out how to reset the schema graph

1

In the UI schema browser, if I double click on an object type in the graph a bunch of things disappear. I can't figure out how to get them back...

- EdgeDB Version: EdgeDB 3.0-dev.7171+475875c - EdgeDB CLI Version: EdgeDB CLI 2.3.0-dev.905+4edec8d - OS Version: ubuntu 22.04 Steps to Reproduce: ```esdl # dbschema/default.esdl module default { type Thing { required...

Downgrading a project results in an incorrect error message

2

- EdgeDB Version: 4.7 - EdgeDB CLI Version: 5.1.0+7c5764f - OS Version: 22.04.2-Ubuntu Requesting an upgrade to a lower version fails with a message that doesn't recognize the requested version....