Currently, the extensions are copied to the Project Guide and must be updated manually.
Instead, a new GitHub secret could be added so that the extensions could be accessed as submodule instead. This would require access to the source repository in GitLab, hence the token.
Currently, the extensions are copied to the Project Guide and must be updated manually. Instead, a new GitHub secret could be added so that the extensions could be accessed as submodule instead. This would require access to the source repository in GitLab, hence the token.