Pushing Ignore Tables to a Hosted Dolt Remote breaks ignore tables
- Dominant language
- Go
- Stars
- 24.4k
- Forks
- 873
- Avg merge
- 1d 8h
- Merged PRs (30d)
- 120
Description
Repro
1. Create a hosted Dolt deployment and database
2. Enable a remote endpoint
3. clone the database
4. Add an ignore table
5. push
6. Try to access the ignore table
```
taylor@MacBook-Pro-7 ~ % mysql -h"timsehn-test-pushes.dbs.hosted.doltdb.com" -u"fu834f6xtsrorpc0" -p"xFtNkGpfjQy5DML3Pz85bP1QT2p91AzQ"
mysql: [Warning] Using a password on the command line interface can be insecure.
Welcome to the MySQL monitor. Commands end with ; or \g.
Your MySQL connection id is 3768
Server version: 8.0.33 Dolt
Copyright (c) 2000, 2025, Oracle and/or its affiliates.
Oracle is a registered trademark of Oracle Corporation and/or its
affiliates. Other names may be trademarks of their respective
owners.
Type 'help;' or '\h' for help. Type '\c' to clear the current input statement.
mysql> use `test-push/main`;
Database changed
mysql> select * from dolt_ignore;
ERROR 1105 (HY000): table has unknown fields
```
This manifests in the workbench UI.
Contributor guide
No contributing guide indexed for this repository
Research direction
Reproduce the hosted Dolt deployment and remote push sequence, then query dolt_ignore through MySQL and inspect the same state in the Workbench UI. No source file or test is named, so trace the push and hosted-remote handling for ignore tables; done means the table is accessible after pushing and the UI no longer fails.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- go, mysql
- Domain
- cloud, databases
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100