From: Alfredo Deza Date: Tue, 8 Aug 2017 13:56:22 +0000 (-0400) Subject: Merge pull request #818 from ceph/abort_on_updated_PR X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=f07ea611d2cd352db01dd4d7f1b627055682fda7;p=ceph-build.git Merge pull request #818 from ceph/abort_on_updated_PR Abort on updated pr --- f07ea611d2cd352db01dd4d7f1b627055682fda7