On Mon, Apr 27, 2015 at 06:56:59AM -0700, suigin wrote:
> What's the general process and ettiquete for submitting pull requestes, do we
> submit them to solely to this discord server, or should they also be
> pushed via dropbox for review?
Non-maintainers like us can't push to the repository. discord server only.
- application/pgp-signature attachment: stored
Received on Mon Apr 27 2015 - 17:33:13 CEST