--track is the default behavior, but i make it explicit here. 
It makes git remember that the local branch `develop` is based on the remote `github_hpcugent/develop` branch. Then you can run `git pull` without additional parameters to update your local `develop` branch.