Fix checkout of tag on 'ports'

A copy/paste bug was causing us to "cd src" instead
of "cd ports" before doing the checkout.

(cherry picked from commit f13a9d5b9f2076020871b6a2151ca60afa53d435)