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: fix whitespace issues in admin guide #5854

Merged
merged 1 commit into from Apr 3, 2024

Conversation

jameshcorbett
Copy link
Member

Problem: some code formatting is wonky in the admin guide because of whitespace issues.

Fix it.

Copy link
Contributor

@grondo grondo left a comment

Choose a reason for hiding this comment

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

Thanks for catching this! LGTM

@jameshcorbett
Copy link
Member Author

Thanks! Setting MWP.

Copy link

codecov bot commented Apr 3, 2024

Codecov Report

Merging #5854 (cc00144) into master (9ecf7b2) will increase coverage by 0.00%.
Report is 2 commits behind head on master.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #5854   +/-   ##
=======================================
  Coverage   83.27%   83.28%           
=======================================
  Files         513      513           
  Lines       82735    82735           
=======================================
+ Hits        68900    68906    +6     
+ Misses      13835    13829    -6     

see 11 files with indirect coverage changes

Problem: some code formatting is wonky in the admin guide because
of whitespace issues.

Fix it.
@mergify mergify bot merged commit 5299547 into flux-framework:master Apr 3, 2024
33 checks passed
@jameshcorbett jameshcorbett deleted the doc-admin-guide-typo branch April 3, 2024 17:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants