commit | 1eb123d944466ece1daea28a39cfca756a87d18e | [log] [tgz] |
---|---|---|
author | Martin Mares <mj@ucw.cz> | Fri Apr 05 23:36:11 2024 +0200 |
committer | Martin Mares <mj@ucw.cz> | Fri Apr 05 23:36:11 2024 +0200 |
tree | 4b42f3ee2d07f892a8daa4759ac8db90cd45339d | |
parent | cb00a99b8d32d04b4647c32811ba9c86446d36ae [diff] |
maint/README: git push --tags is done by push-to-public