GitHub repository: open-mpi/ompi-release-bot
Primary language: PHP
Description: Bot to set labels, milestones, and assignees on the ompi-release repo