Probably a newbie question, sorry. I cloned a git repository while there was only an origin/master branch. Now someone has added an origin/develop branch but I find no way of pulling this new branch or even just looking to the remote structure so I could find out any new branches that I might pull.
GitKraken usually auto-fetches changes from the remotes. You can set up the Auto-Fetch Interval in File->Preferences. You can also fetch manually by clicking on the small arrow to the right of the Pull toolbar icon and clicking Fetch All.
New branches will then appear in the Remote section on the left side, between Local and Stashes sections. You might have to expand it by clicking on the Remote title bar to see the branches.
You can check out a local branch tracking the remote by just double-clicking the remote branch in the Remotes section.