aboutsummaryrefslogtreecommitdiff
path: root/nix/README.md
diff options
context:
space:
mode:
authorKumar Damani <me@kumardamani.net>2026-08-02 02:06:09 +0000
committerKumar Damani <me@kumardamani.net>2026-08-02 02:06:09 +0000
commit7cff0d8d6a2cd84ef41caba47ddefca994ab7074 (patch)
tree7fbcd54c6d3e000cbb224b3c8ecde036e721562c /nix/README.md
parenta0fe8c3af550bcd82705ef6709170e6289eec2bc (diff)
docs for multi-push
Diffstat (limited to 'nix/README.md')
-rw-r--r--nix/README.md9
1 files changed, 9 insertions, 0 deletions
diff --git a/nix/README.md b/nix/README.md
index a85e478..b7a00df 100644
--- a/nix/README.md
+++ b/nix/README.md
@@ -92,3 +92,12 @@ ssh git@git.kumardamani.net publish <name>
git remote set-url origin git@git.kumardamani.net:<name>
git push --all origin && git push --tags origin
```
+
+Push to both our git and GitLab (for ci/cd repos):
+```sh
+git config --unset-all remote.origin.pushurl
+git remote set-url origin git@git.kumardamani.net:<name>.git
+git remote set-url --add --push origin git@git.kumardamani.net:<name>.git
+git remote set-url --add --push origin git@gitlab.com:kdam0/<name>.git
+git remote -v
+```