]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #818 from ceph/abort_on_updated_PR
authorAlfredo Deza <alfredo@deza.pe>
Tue, 8 Aug 2017 13:56:22 +0000 (09:56 -0400)
committerGitHub <noreply@github.com>
Tue, 8 Aug 2017 13:56:22 +0000 (09:56 -0400)
Abort on updated pr


Trivial merge