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.

Sign up for GitHub

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

Jump to bottom

Change DNS-records of cevi.tools #2

Closed

wp99cp opened this issue Nov 26, 2021 · 1 comment · Fixed by #3

Assignees

Labels

Member

wp99cp commented Nov 26, 2021

Change the DNS-records of cevi.tools to the GitHub page. @wp99cp is in contact with Goofy.

wp99cp added the enhancement label

wp99cp self-assigned this

wp99cp linked a pull request

that will close this issue

Change baseurl for Deployment cevi.tools #3

Merged

Member Author

wp99cp commented Dec 9, 2021

done with PR #3. Thanks @ThomasHaefliger

wp99cp closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment