Push changes to another branch?

Question

git

There are two branches:
master and develop.
Cloned the repository, made changes (it turns out in master):
git branch -agives:

* master
  remotes/origin/HEAD -> origin/master
  remotes/origin/develop
  remotes/origin/docs
  remotes/origin/master

How now to push these changes, but not in master, but in develop?
git push origin developgives an error:

error: src refspec develop does not match any
error: failed to push some refs to 'https://gitlab.com/***/***.git'

Answer 1

Trygit push origin master:develop