Skip to content

Conversation

@blegat
Copy link
Contributor

@blegat blegat commented Mar 13, 2018

No description provided.

@ompiteam-bot
Copy link

Can one of the admins verify this patch?

@jsquyres
Copy link
Member

ok to test

@jsquyres
Copy link
Member

@blegat Thanks for finding / fixing that typo!

I hate to do this, but we require all commits to have a "Signed-off-by" attribution (per the last paragraph in https://github.com/open-mpi/ompi/wiki/Admistrative-rules#open-mpi-membership). If you could just git commit --amend -s and then force-push back up to this PR, that would take care of it.

Thank you!

Signed-off-by: Benoît Legat <benoit.legat@gmail.com>
@blegat
Copy link
Contributor Author

blegat commented Mar 13, 2018

Sure ! Sorry for not checking the contribution guidelines

@jsquyres
Copy link
Member

Heh. This PR made me go check and I notice that we don't have the handy github contribution guidelines link thingy setup (I think we just have to put a special .md file somewhere...); sorry about that. I took a to-do item to do that.

@jsquyres jsquyres merged commit 695b92e into open-mpi:master Mar 13, 2018
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.

3 participants