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 improvements and changelog for resource manager #9413

Merged
merged 3 commits into from
Nov 16, 2022

Conversation

BigLep
Copy link
Contributor

@BigLep BigLep commented Nov 16, 2022

This is part of #8761

This was done by taking a fresh look for someone learning about the resource manager being enabled by default.

Moved and expanded documentation to the right places for more visibility.

Added an initial changelog entry.

This was done taking a fresh look for someone learning about
the resource manager being enabled by default.

Moved and expanded documentation to the right places for more visibility.

Added an initial changelog entry.
@BigLep BigLep changed the title Doc improvements for rcmgr Doc improvements and changelog for resource manager Nov 16, 2022
@BigLep BigLep requested review from ajnavarro and lidel November 16, 2022 08:51
@BigLep BigLep marked this pull request as ready for review November 16, 2022 08:51
@BigLep
Copy link
Contributor Author

BigLep commented Nov 16, 2022

@ajnavarro @lidel : I attempted to look at our resource manager docs with fresh eyes thinking about discoverability and accuracy. Feel free to make any changes and merge for the RC.

Note: this change is very similar to what intended to have PR'd in b1a89c9 but accidentally pushed to master (newbie mistake in using GitHub codespaces - my bad).

docs/config.md Outdated Show resolved Hide resolved
docs/changelogs/v0.17.md Outdated Show resolved Hide resolved
docs/config.md Outdated Show resolved Hide resolved
docs/config.md Outdated Show resolved Hide resolved
@ajnavarro ajnavarro mentioned this pull request Nov 16, 2022
@ajnavarro ajnavarro merged commit 6f730dc into master Nov 16, 2022
@ajnavarro ajnavarro deleted the docs/resource-manager-docs-cleanup-2 branch November 16, 2022 10:27
galargh pushed a commit that referenced this pull request Nov 16, 2022
Co-authored-by: Antonio Navarro Perez <antnavper@gmail.com>
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.

2 participants