Skip to content

Users are able to create branches with a "-" at the start. If you try to delete the branch after that, it looks like dolt is understanding it as an option for dolt_branch #5652

Users are able to create branches with a "-" at the start. If you try to delete the branch after that, it looks like dolt is understanding it as an option for dolt_branch

Users are able to create branches with a "-" at the start. If you try to delete the branch after that, it looks like dolt is understanding it as an option for dolt_branch #5652

Triggered via issue June 21, 2024 19:06
@jycorjycor
commented on #8034 27cd0ef
Status Success
Total duration 17s
Artifacts

merge-perf-pr.yaml

on: issue_comment
validate-commentor
6s
validate-commentor
check-comments
0s
check-comments
Trigger Benchmark Merge Workflow
0s
Trigger Benchmark Merge Workflow
Fit to window
Zoom out
Zoom in