I\'m in a github local clone. Below is the list of branches:
$ git branch -a
* master
online-demo
remotes/origin/HEAD -> origin/master
remotes/origin/de
You can try checking out the full SHA commit
git checkout -b "name of branch"
git pull origin "name of branch"
You don't have any local branch called develop. When doing git checkout develop and no local branches are found, git will understand that you want to make a new local branch called develop, based on a develop branch in a remote repo, if any exists. In your case, you have 2 such branches origin/develop and pateketrueke/develop, so there is an ambiguity.
You can be more explicit about it by using the following form:
git branch develop origin/develop
git checkout develop
or
git branch develop pateketrueke/develop
git checkout develop
depending on what you want.
These can be abbreviated as:
git checkout -b develop origin/develop
or
git checkout -b develop pateketrueke/develop