Skip to content

11367 cherry picks to v5.0.x #11390

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

Merged
merged 14 commits into from
Feb 9, 2023

Conversation

zerothi
Copy link
Contributor

@zerothi zerothi commented Feb 8, 2023

Cherry-picked #11367 + 3515978

# fix as per @jsquyres instructions (see #11367 for clarification)
echo 3515978b2533be4bebb85bc13e40c12db19e6731 > docs-cp
git log --pretty=format:%H d5f9e2e78d~..d5f9e2e78 | tail -n +2 >> docs-cp
git cherry-pick -x $(tac docs-cp)

zerothi and others added 14 commits February 8, 2023 15:27
Listified the elements and ensured links were
properly set.

Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit ed28457)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit b5eba4e)
Direct links to papers should preferably be done
using DOI links. Publishers may (at will) change
their URLs but they *will* obey doi.org/<doi>
links meaning that links to published articles
with DOI's will always be stable using:
doi.org/<doi> links.

I uncovered this link by doing make linkcheck
which caused problems for the changed link
(in feature/ulmf).

Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit d5b9eb7)
Basically all files have had a go to be updated
and beautified, too many to list here.

Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit 33869de)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit 03d3e2e)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit cbc4601)
Also removed mentioning of some C++ bindings. It seemed
weird to only have them in the *create_errhandler documents,
hence removed.

Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit 87a5e09)
These changes also revealed some typos
and we fixed lots of links and codes that
were present.

Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit 23deccf)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit 92049e6)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit 8ea416c)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit 252f3be)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit cffffdd)
Signed-off-by: Nick Papior <nickpapior@gmail.com>
(cherry picked from commit c5fdcc0)
At least one build environment has a Sphinx version that warns when we
link directly to doi.org.  Instead, it prefers that we use :doi: to
link to DOI things.

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
(cherry picked from commit 3515978)
@ompiteam-bot
Copy link

Can one of the admins verify this patch?

@jsquyres jsquyres added this to the v5.0.0 milestone Feb 8, 2023
@jsquyres
Copy link
Member

jsquyres commented Feb 8, 2023

ok to test

@awlauria awlauria merged commit c7ef63f into open-mpi:v5.0.x Feb 9, 2023
@zerothi zerothi deleted the 11367-cherry-picks-to-v5.0.x branch February 28, 2023 07:00
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.

4 participants