8000 Start up server HTTP interface earlier by jsteemann · Pull Request #994 · arangodb/docs · GitHub
[go: up one dir, main page]

Skip to content
This repository was archived by the owner on Dec 13, 2023. It is now read-only.

Start up server HTTP interface earlier #994

Merged
merged 13 commits into from
Jun 29, 2022

Conversation

jsteemann
Copy link
Contributor
@jsteemann jsteemann commented May 17, 2022

Upstream PRs:

TODO:

  • Shorten release notes
  • Update DocuBlock (needs review from Kaveh)
  • Merge the open upstream PR and update this PR's feature branch before re-generating the examples

@jsteemann jsteemann added this to the 3.10 milestone May 17, 2022
@jsteemann jsteemann requested a review from a team May 17, 2022 15:09
@Simran-B Simran-B changed the title docs PR for https://github.com/arangodb/arangodb/pull/16181 Start up server HTTP interface earlier May 18, 2022
Copy link
Member
@neunhoef neunhoef left a comment

Choose a reason for hiding this comment

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

LGTM. One typo suggested to correct.

Co-authored-by: Max Neunhöffer <max@arangodb.com>
Copy link
Collaborator
@Simran-B Simran-B left a comment

Choose a reason for hiding this comment

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

ansoboleva and others added 3 commits May 20, 2022 11:03
Co-authored-by: Simran <Simran-B@users.noreply.github.com>
Co-authored-by: Simran <Simran-B@users.noreply.github.com>
Co-authored-by: Simran <Simran-B@users.noreply.github.com>
@Simran-B Simran-B added the 9 WIP label May 24, 2022
@joerg84
Copy link
Contributor
joerg84 commented Jun 22, 2022

@Simran-B This is included upstream arangodb/arangodb#16181

@Simran-B
Copy link
Collaborator

@joerg84 I'm not sure what you try to say. This PR is blocked by arangodb/arangodb#16381 as indicated by the updated description.

@ansoboleva
Copy link
Collaborator

@ansoboleva ansoboleva merged commit f62ca1d into main Jun 29, 2022
@ansoboleva ansoboleva deleted the feature/open-http-interface-earlier branch June 29, 2022 09:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants
0