Great.
Note that if you want to update your version with the new stuff that is
in the repository, you just have to run,
$ git pull
inside your graph-tool directory. I guess there were already some
modifications made since you last cloned the tree.
Cheers,
Tiago