<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <br>
    <blockquote type="cite"
cite="mid:CADRrdKui25WVdpuK2zkaRy9UB_CDdG2H0bcYP9Ox+45AkDL_jA@mail.gmail.com">
      <div dir="ltr">
        <div class="gmail_quote">
          <blockquote class="gmail_quote"
style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
            <div>
              <p>EDIT: actually looking at <a
href="https://docs.readthedocs.io/en/stable/versions.html"
                  target="_blank" moz-do-not-send="true"
                  class="moz-txt-link-freetext">https://docs.readthedocs.io/en/stable/versions.html</a>,
                I do read "If you want a custom <code
                  class="gmail-notranslate"><span>stable</span></code>
                version, create either a tag or branch in your project
                with that name.". So maybe we should just create a git
                "stable" branch, but that means we need to regularly
                resync it to the actual HEAD of the active 9.x git
                branch<br>
              </p>
            </div>
          </blockquote>
          <div>Looks like you found the proper and nice way to do it,
            right? Using a tag (or branch) called "stable". I think that
            the overhead of the release process is minimal. In PROJ it
            would replace the penultimate line from <a
href="https://github.com/OSGeo/PROJ/blob/master/HOWTO-RELEASE.md"
              moz-do-not-send="true" class="moz-txt-link-freetext">https://github.com/OSGeo/PROJ/blob/master/HOWTO-RELEASE.md</a>
            if I understood correctly.<br>
          </div>
          <div><br>
          </div>
        </div>
      </div>
    </blockquote>
    <p>That's not so simple. There is no concept of automatic aliasing a
      git banch to another one. You can resync between them at will, but
      that must be done each time. So we'd likely need a tiny script
      doing something like:</p>
    <p>git checkout stable<br>
      git fetch origin 9.5<br>
      git merge origin/9.5  # should be a forward merge (ie not merge
      commit)<br>
      git push origin stable<br>
      <br>
      and running it regularly (at least each time a commit in 9.5
      affects the doc)<br>
      <br>
      and when releasing a new 9.6 version, at release time, recreating
      the stable branch it with<br>
      <br>
      git checkout stable<br>
      git fetch origin 9.6<br>
      git reset --hard origin/9.6<br>
      git push -f origin stable<br>
    </p>
    --
    <pre class="moz-signature" cols="72"><a class="moz-txt-link-freetext" href="http://www.spatialys.com">http://www.spatialys.com</a>
My software is free, but my time generally not.
Butcher of all kinds of standards, open or closed formats. At the end, this is just about bytes.</pre>
  </body>
</html>