DokuWiki Plugin ToDo

see https://www.dokuwiki.org/plugin:todo

Notes for Collaborators:

To prepare a new release:

• Take note of latest date tag, i.e. "2023-05-17" and edit "latest" release to be based on that instead of 'latest' tag.
• Move latest tag to current commit and add current date tag

  # commit changes etc.
  git push origin
  git tag `date +%F`
  git tag --force latest
  git push origin `date +%F`
  # this should only update the tag, not any commits...
  git push -f origin latest

• Create a new release based on latest tag.

To update local tags to match remote tags (i.e. reflect a move of the 'latest' tag) you need to

git fetch --tags -f

because the updated tag is refused otherwise.