Github actions: checkout won't fetch tags unless we do a full clone.#2025