From 6864a614c2038213555b122978350d68eb13d9a2 Mon Sep 17 00:00:00 2001 From: Wouter de Kort Date: Mon, 8 Jun 2020 12:01:30 +0200 Subject: [PATCH] Update branch-guide.md --- branch-guide.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/branch-guide.md b/branch-guide.md index 386e74ee5..14eefd9c0 100644 --- a/branch-guide.md +++ b/branch-guide.md @@ -8,3 +8,5 @@ Following are the most important branches: Any other branch is considered temporary and could be deleted at any time. Do not do any PR to them! Thanks! + +Trigger push