Merge branch 'autotagpush' of https://github.com/akquinet/gitblit into pushtags