Tip, you may want to use origin/HEAD over origin/master
Is it the naming-independent identifier of the tip of the trunk?
Is it the naming-independent identifier of the tip of the trunk?