Closed moorepants closed 9 years ago
Is there any reason we shouldn't go ahead an host this under the sympy org and grant broader push rights?
No, I can transfer the ownership to the sympy org. But I currently lack push rights in sympy.
OK. We can give you push rights. I'll ask Aaron and Ondrej.
Is there any reason we shouldn't go ahead an host this under the sympy org and grant broader push rights?