Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Multiple remotes #172

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

Merged
vmcj merged 4 commits into DOMjudge:main from vmcj:multiple_remotes
Sep 12, 2024
Merged

Multiple remotes #172

vmcj merged 4 commits into DOMjudge:main from vmcj:multiple_remotes
Sep 12, 2024

Conversation

Copy link
Member

@vmcj vmcj commented Sep 12, 2024

Closes: #152

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.
value: "{{ item.url }}"
scope: local
repo: /home/domjudge/domjudge-checkout
loop:
Copy link
Member

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?

Copy link
Member Author

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.

Copy link
Member

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?

Copy link
Member Author

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
Copy link
Contributor

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?

Copy link
Member Author

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.

Kevinjil reacted with thumbs up emoji
@vmcj vmcj merged commit 1ec3b3c into DOMjudge:main Sep 12, 2024
3 checks passed
@vmcj vmcj deleted the multiple_remotes branch September 12, 2024 20:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@meisterT meisterT meisterT left review comments

@Kevinjil Kevinjil Kevinjil left review comments

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Allow multiple remotes in the WF ansible setup

AltStyle によって変換されたページ (->オリジナル) /