Am 08.04.20 um 06:52 schrieb Jeff Trull:

Hi! I have been following the usual Github-inspired flow of using a forked version of graph-tool to stage merge requests for graph-tool. Unfortunately it looks like my forked project has been deleted and attempting to re-fork fails (I have reached my "project limit").

What's the current procedure for submitting proposed fixes and improvements?

I had to impose some restrictions to curb spam accounts taking over. I have increased your project limit, and added a banner informing people they should ask. In the mean time I'm searching for a better solution. Best, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>