GitHub repository: open-mpi/pr-milestoner
Primary language: Python
Created: 2022-09-17T16:00:30Z
Description: Marketplace GitHub Action for setting Open MPI-style milestones on pull requests