Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Prevent adding duplicated extensions to the db table
There is a possibility that multiple extension repos have been added which contain the same extensions. In case these extensions have not been added to the db table yet, they would all get added to the db, which would create duplicated extensions
- Loading branch information