tree cf5c74453582a59cf4e7f0d49992096be22ce8e2
parent 78cecc5cbcb211acbf557c99abe7c90fa26ba99f
author Joey Armstrong <joey@opennetworking.org> 1680547135 -0400
committer Joey Armstrong <joey@opennetworking.org> 1680547172 -0400

git tag -l requires pwd==GERRIT_PROJECT so pushd/popd as needed

Change-Id: I0cef0119e1ee62f303da930216980f038ece5f78