]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #38139 from batrick/doc-label
authorKefu Chai <kchai@redhat.com>
Wed, 18 Nov 2020 02:00:28 +0000 (10:00 +0800)
committerGitHub <noreply@github.com>
Wed, 18 Nov 2020 02:00:28 +0000 (10:00 +0800)
.github: add labeler for documentation

Reviewed-by: Ernesto Puerta <epuertat@redhat.com>
Reviewed-by: Kefu Chai <kchai@redhat.com>

Trivial merge