Skip to content
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

Switch to new infrastructure + eessi.io repo #160

Merged
merged 25 commits into from
Nov 11, 2023
Merged

Conversation

bedroge
Copy link
Collaborator

@bedroge bedroge commented Sep 29, 2023

Still work in progress, and things like the public key and the list of stratum 1 servers may/will change.

Copy link
Contributor

@boegel boegel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One small suggested change to drop the latest symlink, looks good to me otherwise!

@bedroge Will you have time to create & adopt a new repo key, so we can move forward with this ASAP?

@bedroge
Copy link
Collaborator Author

bedroge commented Nov 9, 2023

One small suggested change to drop the latest symlink, looks good to me otherwise!

@bedroge Will you have time to create & adopt a new repo key, so we can move forward with this ASAP?

I've removed the latest symlink, and solved the merge conflict. I'll try to regenerate the keys today.

@bedroge bedroge changed the title [WIP] Switch to new infrastructure + eessi.io repo Switch to new infrastructure + eessi.io repo Nov 10, 2023
@boegel boegel merged commit 4380d28 into EESSI:main Nov 11, 2023
21 checks passed
@bedroge bedroge deleted the eessi.io branch November 11, 2023 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants