From: Matthias Maier 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