Switch to just checkout TAG for git repos.

This makes building from tags faster by speeding up checkouts.

Suggested by: wg