Weird merge records

Hi.

I'm in a development team that has one official repo, and each developer has their own repo that is much the same as that official repo - modulo how recently we synchronized them.

I'm getting _many_ Merge records that look like:
    Merge branch 'develop' of ghosthub.whatever.net:abcd-def/ghij-jk…

...and I don't know where they are coming from.

The merge records do not appear to show up in 'git log -v'. I only see them in Ghosthub pull requests (Ghosthub being like Github, but private).

I suspect the merge records may be coming from this small bit of shell
script I've been using to pull from the master repo into my personal
repo:
    git fetch upstream
    git checkout "$branch"
    git config pull.rebase false
    git pull upstream "$branch"
    git push origin "$branch"

Does that snippet look responsible? If yes, how might I change it to stop creating all those merge records? If no, any guesses what else might be causing it?

Thanks!