Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Deleting branch does not delete associated working set #2018

Closed
andy-wm-arthur opened this issue Aug 16, 2021 · 1 comment
Closed

Deleting branch does not delete associated working set #2018

andy-wm-arthur opened this issue Aug 16, 2021 · 1 comment

Comments

@andy-wm-arthur
Copy link
Contributor

mysql> insert into dolt_branches (name, hash) values ("main", hashof("master"));
mysql> select dolt_checkout("main");
mysql> delete from dolt_branches where name = "master";
mysql> select * from dolt_branches;
+------+----------------------------------+-------------------+--------------------------------+-------------------------+----------------------------+
| name | hash                             | latest_committer  | latest_committer_email         | latest_commit_date      | latest_commit_message      |
+------+----------------------------------+-------------------+--------------------------------+-------------------------+----------------------------+
| main | vl1nto5uv334lt8j7rvncbub0s2ji62b | mysql-test-runner | mysql-test-runner@liquidata.co | 2021-08-16 21:34:09.647 | Initialize data repository |
+------+----------------------------------+-------------------+--------------------------------+-------------------------+----------------------------+
% noms show .dolt/noms::#4lj2cq9m13aesacrd7e4s6hsr2gf1vt2
Map<String,Ref<Value>> - map {  // 4 items
  "refs/heads/main": #vl1nto5uv334lt8j7rvncbub0s2ji62b,
  "refs/internal/create": #vl1nto5uv334lt8j7rvncbub0s2ji62b,
  "workingSets/heads/main": #k2m6d85etb0rkskgh0iupt8g04vq5vql,
  "workingSets/heads/master": #708ura097oq3sn2qk79oir6k1r4chh0i,
}%                                       
@zachmu
Copy link
Member

zachmu commented Aug 17, 2021

I believe @reltuk recently fixed this. Are you on master?

@timsehn timsehn closed this as not planned Won't fix, can't repro, duplicate, stale Aug 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants