From a3ab5e3d5f2c9f12d6549662458a9dee3103baba Mon Sep 17 00:00:00 2001
From: Paul Gschwendtner <paulgschwendtner@gmail.com>
Date: Wed, 6 Feb 2019 20:11:18 +0100
Subject: [PATCH] build: branch manager should use "7.3.x" as patch branch
 (#15097)

Updates the branch manager to validate patch PRs against the
`7.3.x` branch. This is necessary because currently some PRs
are marked as failing because they no longer apply to the
outdated `7.2.x` branch.
---
 .github/branch-manager.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/branch-manager.yml b/.github/branch-manager.yml
index 16d1a89c780..9c74eec5dbb 100644
--- a/.github/branch-manager.yml
+++ b/.github/branch-manager.yml
@@ -1,7 +1,7 @@
 enabled: true
 
 branches:
-  - branchName: 7.2.x
+  - branchName: 7.3.x
     label: "target: patch"
   - branchName: 7.x
     label: "target: minor"