[graph-tool] procedure for submitting merge requests?