Cannot delete `AGENT.md` from `dolt_docs`
Open
bug
good repro
sql
system tables
- Dominant language
- Go
- Stars
- 24.4k
- Forks
- 873
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 108
Description
```sql
mysql> select doc_name from dolt_docs;
+----------+
| doc_name |
+----------+
| AGENT.md |
+----------+
1 row in set (0.168 sec)
mysql> select * from dolt_diff_summary('main', 'WORKING');
Empty set (0.168 sec)
mysql> delete from dolt_docs where doc_name='AGENT.md';
Query OK, 1 row affected (0.171 sec)
mysql> select doc_name from dolt_docs;
+----------+
| doc_name |
+----------+
| AGENT.md |
+----------+
1 row in set (0.164 sec)
```
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.