You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: