build: update branch manager config (#14580)

devversion · jelbourn · commit bba9af88d684 · 2018-12-19T11:20:33.000-08:00
diff --git 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"
