dolthub / hosted-issues

Issues for hosted.doltdb.com
https://hosted.doltdb.com
2 stars 0 forks source link

Updating dolt_docs from workbench shouldn't use pull workflow #136

Closed tbantle22 closed 11 months ago

tbantle22 commented 11 months ago

Right now updating dolt_docs on the workbench is handled by the GraphQL server and automatically creates a commit/potentially a pull request. This is inconsistent with other workbench operations, which generate the query and run it in the sql console without committing

We need a dolt_docs procedure to make this work so that the dolt_docs table doesn't need to be manually created before any docs exist

tbantle22 commented 11 months ago

This has been fixed