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

Fix/warn on server not here #540

Merged
merged 2 commits into from
Sep 14, 2022
Merged

Fix/warn on server not here #540

merged 2 commits into from
Sep 14, 2022

Conversation

jycouet
Copy link
Contributor

@jycouet jycouet commented Sep 12, 2022

Fixes #535

Will continue pulling and log a warning if something is wrong.

To help everyone out, please make sure your PR does the following:

  • Update the first line to point to the ticket that this PR fixes
  • Add a message that clearly describes the fix
  • If applicable, add a test that would fail without this fix
  • Make sure the unit and integration tests pass locally with pnpm run tests and cd integration && pnpm run tests
  • Includes a changeset if your fix affects the user with pnpm changeset

@changeset-bot
Copy link

changeset-bot bot commented Sep 12, 2022

🦋 Changeset detected

Latest commit: d14b194

The changes in this PR will be included in the next version bump.

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@vercel
Copy link

vercel bot commented Sep 12, 2022

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated
docs ✅ Ready (Inspect) Visit Preview Sep 12, 2022 at 9:42PM (UTC)
docs-next ✅ Ready (Inspect) Visit Preview Sep 12, 2022 at 9:42PM (UTC)

@AlecAivazis AlecAivazis enabled auto-merge (squash) September 14, 2022 00:52
@AlecAivazis AlecAivazis merged commit 8addece into main Sep 14, 2022
@AlecAivazis AlecAivazis deleted the fix/warn-on-server-not-here branch September 14, 2022 00:52
@github-actions github-actions bot mentioned this pull request Sep 14, 2022
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.

If polling URL is down, local dev server stops
2 participants