Skip to content

[hailtop] Fix defaulting to hail.is when the user has no deploy-config - #13585

Merged
danking merged 2 commits into
hail-is:mainfrom
daniel-goldstein:fix-no-deploy-config-domain
Sep 7, 2023
Merged

danking merged 2 commits into
hail-is:mainfrom
daniel-goldstein:fix-no-deploy-config-domain

Conversation

@daniel-goldstein

@daniel-goldstein daniel-goldstein commented Sep 7, 2023 •

Copy link
Copy Markdown
Contributor

or domain specified. The key bug here was a check for 'domain' not in config instead of config['domain'] is None

@daniel-goldstein daniel-goldstein added the prio:high CI tests and merges this PR first label Sep 7, 2023
danking
danking previously requested changes Sep 7, 2023

@danking danking left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

@daniel-goldstein can you just add the release change and change log to this PR?

@danking
danking merged commit be9d88a into hail-is:main Sep 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

prio:high CI tests and merges this PR first

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants