Huakun Shen 9cda312523

fix: identifier conflict for dev and prod ext during installation ...

dev and prod environment could have the same identifier.
If a dev ext is installed, user gets a warning prompt when installing from store, saying there is an existing extension.
The dev extension will be removed from DB.
In this commit we filter out dev extension

2025-01-13 16:14:42 -05:00

..

src

fix: identifier conflict for dev and prod ext during installation

2025-01-13 16:14:42 -05:00

.gitignore

App Setup (#2)

2024-11-03 13:54:44 -05:00

package.json

Feature: install extension from JSR (#53)

2025-01-10 08:23:18 -05:00

tsconfig.json

App Setup (#2)

2024-11-03 13:54:44 -05:00