ManageIQ/miq_bot

On a PR, notify a merger to set a label and/or milestone if they've forgotten.

Open

#26 opened on Dec 8, 2014

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Ruby (38 forks)auto 404
enhancementhelp wantednew batch entrypinned

Repository metrics

Stars
 (16 stars)
PR merge metrics
 (PR metrics pending)

Description

Give a grace period of 10 minutes or so, so as not to attack to quickly.

Contributor guide