GitHub repository: open-mpi/pr-labeler
Primary language: Python
Created: 2022-09-17T15:59:28Z
Description: Marketplace GitHub Action for setting Open MPI-style labels on pull requests