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!
