release-build: Be more cautious about reusing Lasercake-source git dir

This only reuses the directory when pulling from the same origin
as before.

This also fixes a specific problem where `git pull https://...` didn't
pull tags at some times that `git pull` did.