maint/README: git push --tags is done by push-to-public
1 file changed