ManageIQ/miq_bot
View on GitHubOn a PR, notify a merger to set a label and/or milestone if they've forgotten.
Open
#26 opened on Dec 8, 2014
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.