On Wed, Apr 1, 2020 at 2:02 PM Tiago de Paula Peixoto <[email protected]> wrote: > > I have given you permission to clone a repository, so you should be able > to submit a merge request in the usual way.
I was able to upload my branch, but I still can't make a merge request. -Alex _______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
