Create a production tag and push with
git push --tags
Update the
HTCondor Uses in Workspaces
page