Мы сделали капитальный ремонт в нашем репозитории github, чтобы настроить автоматическое развертывание, и теперь я запутался в том, как извлечь ветку dev с удаленного компьютера и заставить ее справиться с master. Сейчас dev на 10 коммитов позади мастера. Я попробовал следующее ниже, но я думаю, что создал локальную ветку dev, вытащил master и не установил связь между dev local и dev remote? Есть ли простой способ это исправить? Спасибо заранее.
git checkout dev
# Already on 'dev'
git fetch origin
git merge origin/master
# Already up to date.
git status
# On branch dev
# nothing to commit, working tree clean
git pull origin master
# From github.com:SpectrumReach/AnomalyDetection
# * branch master -> FETCH_HEAD
# Already up to date.
git push
# fatal: The current branch dev has no upstream branch.
# To push the current branch and set the remote as upstream, use
#
# git push --set-upstream origin dev
#
git push --set-upstream origin dev
#
# To github.com:SpectrumReach/AnomalyDetection.git
# ! [rejected] dev -> dev (non-fast-forward)
# error: failed to push some refs to 'git@github.com:SpectrumReach/AnomalyDetection.git'
# hint: Updates were rejected because the tip of your current branch is behind
# hint: its remote counterpart. Integrate the remote changes (e.g.
# hint: 'git pull ...') before pushing again.
# hint: See the 'Note about fast-forwards' in 'git push --help' for details.