From: Ernesto Puerta <37327689+epuertat@users.noreply.github.com>
Date: Mon, 11 Oct 2021 12:52:02 +0000 (+0200)
Subject: Merge pull request #43473 from rhcs-dashboard/wip-pr_deps-master
X-Git-Tag: v17.1.0~720
X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=e7cbf3038704f8485a9c9d0d03cc384a63e26073;p=ceph.git

Merge pull request #43473 from rhcs-dashboard/wip-pr_deps-master

.github: check if PR deps are merged/closed

Reviewed-by: Avan Thakkar <athakkar@redhat.com>
Reviewed-by: Nizamudeen A <nia@redhat.com>
---

e7cbf3038704f8485a9c9d0d03cc384a63e26073