]> ruderich.org/simon Gitweb - config/dotfiles.git/search
bin/git-update.sh: Also push tags to remotes.