]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
projects / ceph.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bbe2e65 61011a4)
Merge pull request #43473 from rhcs-dashboard/wip-pr_deps-master
authorErnesto Puerta <37327689+epuertat@users.noreply.github.com>
Mon, 11 Oct 2021 12:52:02 +0000 (14:52 +0200)
committerGitHub <noreply@github.com>
Mon, 11 Oct 2021 12:52:02 +0000 (14:52 +0200)
.github: check if PR deps are merged/closed

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

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.