This repository was archived by the owner on Jul 31, 2022. It is now read-only.
This repository was archived by the owner on Jul 31, 2022. It is now read-only.
Can not assign more than one user to an issue #17
Description
Github now allows assigning more than one user to an issue, so the ompi-release-bot restriction of only assigning one person to an issue should be removed.
This just came up: open-mpi/ompi-release#1252 (comment)