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

doc(server): add basic architecture overview of resource manager #2401

Merged
merged 5 commits into from
Jun 6, 2023

Conversation

schoren
Copy link
Contributor

@schoren schoren commented Apr 18, 2023

This PR adds basic developer doc for resource manager

@schoren schoren added documentation Improvements or additions to documentation do not merge labels Apr 18, 2023
@schoren schoren marked this pull request as ready for review June 5, 2023 15:19
@schoren schoren requested review from mathnogueira and jorgeepc June 5, 2023 15:19
@schoren schoren changed the title add doc doc(server): add basic architecture overview of resource manager Jun 5, 2023
@schoren schoren force-pushed the resource-manager-docs branch from b983a96 to 60de1cb Compare June 5, 2023 15:20
@schoren schoren requested a review from jorgeepc June 5, 2023 17:28
@schoren schoren force-pushed the resource-manager-docs branch from 152e40f to 8131d3d Compare June 6, 2023 18:37
@schoren schoren merged commit 0af6764 into main Jun 6, 2023
@schoren schoren deleted the resource-manager-docs branch June 6, 2023 19:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants