Skip to content

Conversation

@cwognum
Copy link
Collaborator

@cwognum cwognum commented Mar 15, 2024

Changelogs

  • Fix a mistake in the defaults of PolarisHubSettings

Checklist:

  • Was this PR discussed in an issue? It is recommended to first discuss a new feature into a GitHub issue before opening a PR.
  • Add tests to cover the fixed bug(s) or the newly introduced feature(s) (if appropriate).
  • Update the API documentation if a new function is added, or an existing one is deleted.
  • Write concise and explanatory changelogs above.
  • If possible, assign one of the following labels to the PR: feature, fix or test (or ask a maintainer to do it for you).

Seems a temporary change has managed to sneak past our review!

@cwognum cwognum added the fix Annotates any PR that fixes bugs label Mar 15, 2024
@cwognum
Copy link
Collaborator Author

cwognum commented Mar 15, 2024

I'll just merge this once green!

@cwognum cwognum merged commit b5067c5 into main Mar 15, 2024
@cwognum cwognum deleted the fix/polaris-hub-setting branch March 15, 2024 21:24
@cwognum cwognum self-assigned this Mar 15, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

fix Annotates any PR that fixes bugs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants