update

diff --git a/release-tasks b/release-tasks
index e00a4aab6c6fb109263a525cd06cfbe099fe0d4b..c18d13ede9d8107a0b60ee670f241d4177128dfd 100644 (file)
--- 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