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.

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

sanity-check server response in batching NI #893

Merged
merged 2 commits into from
Nov 11, 2016
Merged

sanity-check server response in batching NI #893

merged 2 commits into from
Nov 11, 2016

Conversation

helfer
Copy link
Contributor

@helfer helfer commented Nov 11, 2016 •
edited
Loading

TODO:

  • If this PR is a new feature, reference an issue where a consensus about the design was reached (not necessary for small changes)
  • Make sure all of the significant new logic is covered by tests
  • Rebase your changes on master so that they can be merged easily
  • Make sure all tests and linter rules pass
  • Update CHANGELOG.md with your change
  • Add your name and email to the AUTHORS file (optional)
  • If this was a change that affects the external API, update the docs and post a link to the PR in the discussion

@helfer helfer mentioned this pull request Nov 11, 2016
Closed
@helfer helfer merged commit 2ce9ea5 into master Nov 11, 2016
@helfer helfer deleted the batching-warning branch November 11, 2016 03:50
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 2, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@helfer