]> https://gitweb.dealii.org/ - release-papers.git/commitdiff
Update one step.
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 22 Mar 2022 14:49:47 +0000 (08:49 -0600)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 22 Mar 2022 14:49:47 +0000 (08:49 -0600)
release-tasks

index e0c577dfe85bf3f54011ac076e451b758910fb61..d002aadb97102743c932f0b6918b8c5ddd5c7d1f 100644 (file)
@@ -308,10 +308,13 @@ Best
      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
+5/ Update the VERSION from 9.0.0-pre to 9.1.0-pre on
+  master. (Conservatively only increment the minor version even if the
+  plan is to later release a major update -- it is always possible to
+  convert 9.4 into 10.0 later, but one can't easily back down any more.)
 
   git checkout master
-  git commit -a -m "update VERSION"
+  git commit -a -m "Update VERSION."
 
   [ pull request for master branch ]
 

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.