Hacker News Reader

Tip, you may want to use origin/HEAD over origin/master

Is it the naming-independent identifier of the tip of the trunk?

not strictly speaking, but in practice it's the tip of the remote default branch