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

Could not resolve host: git.ihtsdotools.org #72

Open
mustofa-id opened this issue Oct 24, 2023 · 1 comment
Open

Could not resolve host: git.ihtsdotools.org #72

mustofa-id opened this issue Oct 24, 2023 · 1 comment
Assignees

Comments

@mustofa-id
Copy link

mustofa-id commented Oct 24, 2023

Hi, I'm trying to deploy this project following the guidelines, but I'm encountering an issue when trying to get data; it seems like the server is down.

image

Is there an alternative server for this data?

@pgwilliams
Copy link
Member

Hi @mustofa-id Whoops! Yes, we got rid of that server many years ago and moved our non-public facing projects to a secure location. Unfortunately, this means that it won't be visible to you. So we should not be referencing it in a publicly visible way. I will check out what our security or licensing concerns are there and ensure that this is clarified one way or another.

@pgwilliams pgwilliams self-assigned this Oct 24, 2023
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

No branches or pull requests

2 participants