From bba9af88d684b5ad5bb990891331b49ad53a6f15 Mon Sep 17 00:00:00 2001
From: Paul Gschwendtner <paulgschwendtner@gmail.com>
Date: Wed, 19 Dec 2018 20:20:33 +0100
Subject: [PATCH] build: update branch manager config (#14580)

---
 .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 fdfc5c44158..16d1a89c780 100644
--- a/.github/branch-manager.yml
+++ b/.github/branch-manager.yml
@@ -1,7 +1,7 @@
 enabled: true
 
 branches:
-  - branchName: 7.1.x
+  - branchName: 7.2.x
     label: "target: patch"
   - branchName: 7.x
     label: "target: minor"