-
Notifications
You must be signed in to change notification settings - Fork 11
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Multiple remotes #172
Multiple remotes #172
Conversation
68a7ac5
to
fb1834f
Compare
The idea is to have 4 remotes, 1 which we can change if the other host gets up and the others to make sure we can still work on possible branches or rebase against them.
fb1834f
to
f01ab01
Compare
value: "{{ item.url }}" | ||
scope: local | ||
repo: /home/domjudge/domjudge-checkout | ||
loop: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this the right order?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Order does not matter for yaml, I checked and this does create those remotes.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Which one is the default remote?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We first clone first so that would be the origin
, the idea is to change the origin when another host comes available.
I verified on a VM and origin
is the still default even after the other remotes get added.
- remote: sysops | ||
url: domjudge@packages:domjudge.git | ||
- remote: initial | ||
url: ansible@domjudge-ccsadmin1:domjudge.git |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What's the difference with origin?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
One gets switched if the other git hosts get online, the other stays stable.
Closes: #152