marmoπe

[BUG] Deleted branch still appears after its deletion

3

**Describe the Bug** When deleting a branch, the deleted branch still appears after its deletion. The deleted branch only disappear after restarting VSCode. **Steps To Reproduce** 1. Delete a Git...

In the GitOps context, the commits are also used to declare the state resources, and I am wondering if there is a mapping between the "standard" commit types and the...

fix(diff table): Support capital letters in schema and table names

1

Hello, A little fix to add support of capital letters in schema and table names. Bye. Matthieu