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 (#808)
* 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 * Use the extension with the latest version from all repos In case multiple repos have the same extension, use the extension with the latest version
- Loading branch information