ignore errors of git fetch --tag as this fails on a case-insensitive filesystem like...