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