Pulse · edgedb/edgedb-cli · GitHub

December 18, 2024 – December 25, 2024

Overview

2 Active pull requests

1 Active issue
- 2 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 0 New issues

2 Pull requests merged by 2 people

Unify --instance arg for extension commands
#1436 merged Dec 21, 2024
Fix switching branch after current branch is deleted
#1435 merged Dec 19, 2024

1 Issue closed by 1 person

Cannot switch cloud branch locally after branch deletion
#1359 closed Dec 19, 2024