git-tag-release: Push just the new tag; fetch before retry
treea0b57974a03121a3e6c6f6decfc46b1b897918c9
-rw-r--r-- 53 .gitignore
-rw-r--r-- 511 README
-rwxr-xr-x 21724 bootstrap
drwxr-xr-x - config
drwxr-xr-x - patches
drwxr-xr-x - search-xapian
drwxr-xr-x - xapian-applications
drwxr-xr-x - xapian-bindings
drwxr-xr-x - xapian-core
drwxr-xr-x - xapian-data
drwxr-xr-x - xapian-maintainer-tools