Skip to content

Conversation

@jsquyres
Copy link
Member

@jsquyres jsquyres commented Aug 1, 2022

This is the v5.0.x cherry picks of the main commits from #10600

The ompi_info man page moved into the docs/ directory with the rest of
the man pages; it was accidentally left here in the
ompi/tools/ompi_info directory.

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
(cherry picked from commit 5e58160)
Remove a bunch of stale kruft from the top-level .gitignore file:

- Some man pages (which are now in the docs/tree)
- Some MPI extensions/components that no longer exist
- Some other directories that no longer exist
- Mercurial metadata files/dirs

Signed-off-by: Jeff Squyres <jsquyres@cisco.com>
(cherry picked from commit 41a2d61)
@jsquyres jsquyres added this to the v5.0.0 milestone Aug 1, 2022
@jsquyres jsquyres requested a review from bwbarrett August 1, 2022 22:45
@awlauria awlauria merged commit c9b9992 into open-mpi:v5.0.x Aug 2, 2022
@jsquyres jsquyres deleted the pr/v5.0.x/remove-stale-kruft branch August 2, 2022 14:59
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.

2 participants