]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #832 from ceph/ceph-pr-docs-build-id
authorAndrew Schoen <andrew.schoen@gmail.com>
Mon, 14 Aug 2017 16:17:00 +0000 (11:17 -0500)
committerGitHub <noreply@github.com>
Mon, 14 Aug 2017 16:17:00 +0000 (11:17 -0500)
ceph-pr-docs: include the pull request ID for the url as a comment


Trivial merge