...which explains the strange message of merging into Cog on a branch
that is not really the Cog branch.
Apart from that, the reason for "merging Cog into Cog" is that the
quoted branch name is the remote branch name, while the branch name at
the end of the sentence is the local branch name. Such merge messages
are generated by git pull.
It looks more useful when pulling from a remote branch that has a
different name, either because it actually is a different branch of
development or because the branch simply has a different name at the