Summary: | Fix the GitLab koha mirror | ||
---|---|---|---|
Product: | Project Infrastructure | Reporter: | Victor Grousset/tuxayo <victor> |
Component: | Bugzilla | Assignee: | Jonathan Druart <jonathan.druart> |
Status: | CLOSED FIXED | QA Contact: | |
Severity: | enhancement | ||
Priority: | P5 - low | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | All | ||
Change sponsored?: | --- | Patch complexity: | --- |
Documentation contact: | Documentation submission: | ||
Text to go in the release notes: | Version(s) released in: | ||
Circulation function: |
Description
Victor Grousset/tuxayo
2020-04-27 00:06:33 UTC
No, we should mirror the official repo. I am currently working on this (https://wiki.koha-community.org/wiki/Git_Splitting_and_Shrinking), and will communicate a bit later. I forgot to link the currently non-working GitLab mirror. https://gitlab.com/koha-community/Koha > No, we should mirror the official repo. Is the proposal still valid if we use the official repo? http://git.koha-community.org/gitweb/ An alternative proposal is to delete the currently non-working GitLab mirror to free resources if it's not in the immediate plans to have it back working. > I am currently working on this > https://wiki.koha-community.org/wiki/Git_Splitting_and_Shrinking Very nice! This is fixed. Martin changed the gitlab config to only track the protected branches that he listed. Thanks :D |