Skip to content

Check MR is mergeable before accepting MR#117

Merged
aschmolck merged 1 commit intomasterfrom ensure-mergeableJul 19, 2018

Commits

Commits on Jul 19, 2018