]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #38001 from badone/wip-powertools-repo-name-change
authorKefu Chai <kchai@redhat.com>
Thu, 19 Nov 2020 04:12:08 +0000 (12:12 +0800)
committerGitHub <noreply@github.com>
Thu, 19 Nov 2020 04:12:08 +0000 (12:12 +0800)
install-deps.sh: Make powertools repo case insensitive

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

Trivial merge