]> https://gitweb.dealii.org/ - release-papers.git/commitdiff
update
authorMatthias Maier <tamiko@43-1.org>
Sat, 22 May 2021 14:40:59 +0000 (09:40 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 22 May 2021 14:40:59 +0000 (09:40 -0500)
release-tasks

index e00a4aab6c6fb109263a525cd06cfbe099fe0d4b..c18d13ede9d8107a0b60ee670f241d4177128dfd 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.