From ab8d122384a5ccec3ec20b289a2ae68c52501547 Mon Sep 17 00:00:00 2001 From: Zach Hilman Date: Thu, 26 Sep 2019 09:28:59 -0400 Subject: [PATCH 1/4] ci: Add private mergebot script Uses Azure instead of GitHub --- .../merge/apply-patches-by-label-private.py | 41 +++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 .ci/scripts/merge/apply-patches-by-label-private.py diff --git a/.ci/scripts/merge/apply-patches-by-label-private.py b/.ci/scripts/merge/apply-patches-by-label-private.py new file mode 100644 index 000000000..11ec60010 --- /dev/null +++ b/.ci/scripts/merge/apply-patches-by-label-private.py @@ -0,0 +1,41 @@ +# Download all pull requests as patches that match a specific label +# Usage: python download-patches-by-label.py