Stream: cds hooks/committers
Topic: docs / PR #371 Rename the indicator value 'hard-stop' to ...
Github Notifications (Aug 01 2018 at 04:20):
kpshek opened PR #371
from issue/340-rename-hard-stop-to-critical to master
Fixes #340
Github Notifications (Aug 01 2018 at 04:20):
kpshek review_requested PR #371
Github Notifications (Aug 01 2018 at 04:20):
kpshek review_requested PR #371
Github Notifications (Aug 01 2018 at 04:20):
kpshek review_requested PR #371
Github Notifications (Aug 01 2018 at 04:20):
kpshek labeled PR #371
Github Notifications (Aug 02 2018 at 02:55):
isaacvetter commented on PR #371
I like everything about this change. That issue submitter is a bright guy.
Github Notifications (Aug 02 2018 at 08:06):
kpshek synchronized PR #371
Github Notifications (Aug 02 2018 at 08:09):
kpshek closed PR #371
Last updated: Apr 12 2022 at 19:14 UTC
