Error with pen_width

You had requested for developer access to the graph-tool repository,
which would have given you permissions to do arbitrary modifications.
I'm the only one who has this kind of access; but this is not necessary
at all to create merge requests. The actual route is simply to clone the
repository, make the changes to your cloned version, and then do a merge