I actually saw the Github mirror. I was reluctant to fork and submit a pull request because it might not be the latest version and/or was not an encouraged method. Maybe put a note to developers about your mirror update rate/method and an encouragement to submit PRs through GitHub if that is their preferred method. Otherwise, a desciption of how to accomplish the similiar Google code method.
-- You received this message because you are subscribed to the Google Groups "spyder" group. To view this discussion on the web visit https://groups.google.com/d/msg/spyderlib/-/-WgKjq1iPS8J. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/spyderlib?hl=en.
