]> git.tuebingen.mpg.de Git - paraslash.git/commit
Merge topic branch t/misc into pu
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 17 Mar 2024 11:35:53 +0000 (12:35 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 17 Mar 2024 11:35:53 +0000 (12:35 +0100)
commit83c4cb37c39f01d038c808132a6ec990a0c75aa3
treee1a334e988e9288a96cdaaf4749237c28305d5b7
parent33871219f2e65e10d7f0144d3bb26cc93bb25018
parentc221a7d72f1c13f1010af47fee0422b89101110b
Merge topic branch t/misc into pu

The stuff in here is too small to get its own topic branch. The
commits are generally regarded as safe enough to be applied directly to
"master" without cooking in "next" first. However, if a commit induces
a merge conflict or is important enough to get mentioned in an item
of the NEWS file, the commit should get a dedicated topic branch.

Unlike most other topic branches, this branch never promotes to
"next". When a set of commits is ready to graduate to "master", the
branch is rebased onto "master" and its commits are re-ordered so that
the graduating commits appear at the beginning. The last such commit
is merged to "master". This always results in a fast-forward merge,
so no merge message needs to be supplied.

* refs/heads/t/misc:
  i9e: Clear history on close.