In gitg 0.2.4, you cannot pull directly, so you also fetch and merge:
- fetch by going in the repository properties, select the remote repo and cli
- display all branches of the remote, and merge the branch you want (
origin/master most of the time) by right-clicking on the tip of the branch