From 7d46416a16a3d6eb53ebd05d489edc77dc2ae14e Mon Sep 17 00:00:00 2001 From: Zach Hilman Date: Tue, 1 Oct 2019 21:38:04 -0400 Subject: ci: Iterate through GitHub pages for pull requests --- .../merge/apply-patches-by-label-private.py | 50 ++++++++++++---------- .ci/scripts/merge/apply-patches-by-label.py | 8 +++- 2 files changed, 33 insertions(+), 25 deletions(-) (limited to '.ci') diff --git a/.ci/scripts/merge/apply-patches-by-label-private.py b/.ci/scripts/merge/apply-patches-by-label-private.py index 6e3cb995e..fe0acd510 100644 --- a/.ci/scripts/merge/apply-patches-by-label-private.py +++ b/.ci/scripts/merge/apply-patches-by-label-private.py @@ -1,41 +1,45 @@ # Download all pull requests as patches that match a specific label # Usage: python download-patches-by-label.py