git branch -a
выдаёт:* master
remotes/origin/HEAD -> origin/master
remotes/origin/develop
remotes/origin/docs
remotes/origin/master
git push origin develop
даёт ошибку:error: src refspec develop does not match any
error: failed to push some refs to 'https://gitlab.com/***/***.git'