Make it more explicit how to push tags
[tools.git] / release-tools /
drwxr-xr-x   ..
-rw-r--r-- 1294 DO-RELEASE.md
-rw-r--r-- 4974 MKRELEASE.md
-rw-r--r-- 12106 README.md
-rwxr-xr-x 1485 do-copyright-year
-rwxr-xr-x 12592 mkrelease.pl
-rw-r--r-- 6198 release-check.pl
-rw-r--r-- 1911 release-date.pl
-rw-r--r-- 4718 release-git.pl
-rw-r--r-- 4295 release-update.pl
-rw-r--r-- 5618 release-version.pl