From: Matthias Maier <tamiko@43-1.org>
Date: Sat, 22 May 2021 14:40:59 +0000 (-0500)
Subject: update
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=13ab5bffb054c28f124ca9839289bd2887d38eb6;p=release-papers.git

update
---

diff --git a/release-tasks b/release-tasks
index e00a4aa..c18d13e 100644
--- a/release-tasks
+++ b/release-tasks
@@ -304,6 +304,10 @@ Best
 
   Note: Without a pull request!
 
+4a/  Check branch properties on github! Should be set automatically but
+     nevertheless: push protection + mandatory test + mandatory number of
+     reviews, best between 2 and 3
+
 5/ Update the VERSION from 9.0.0-pre to 9.1.0-pre on master
 
   git checkout master