From 9c4f62eeafb68755cbe255e3b76ffd8591707b3f Mon Sep 17 00:00:00 2001 From: phette23 Date: Mon, 16 Sep 2024 15:05:51 -0700 Subject: [PATCH] docs: if we're using github we don't need the gitlab push url --- notes/develop.md | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/notes/develop.md b/notes/develop.md index 558fcee..adb6e47 100644 --- a/notes/develop.md +++ b/notes/develop.md @@ -96,14 +96,3 @@ pip install invenio-search[opensearch2] invenio-db[postgresql] docker-services-c ``` Then to run tests, ensure Docker is running and `./run-tests.sh`. - -## GitHub _and_ GitLab?!? - -I want the project features of GitHub as well as the ability to easily write Markdown links to the various Invenio software projects, but we use GitLab for our CI/CD. I originally tried mirroring the GH repo in GL, but that proved too slow. Instead, we can use a remote with multiple push URLs: - -```sh -git remote set-url --push --add origin git@github.com:cca/cca_invenio.git -git remote set-url --push --add origin git@gitlab.com:california-college-of-the-arts/invenio.git -``` - -Then `git push` updates both remotes at once. The `origin` remote's fetch URL can theoretically be either URL.