]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #514 from ceph/dev-force-push
authorAndrew Schoen <andrew.schoen@gmail.com>
Thu, 6 Oct 2016 19:19:20 +0000 (14:19 -0500)
committerGitHub <noreply@github.com>
Thu, 6 Oct 2016 19:19:20 +0000 (14:19 -0500)
ceph-dev-trigger: force push even when remote package exists


Trivial merge