On 13-05-28 02:25 AM, Anand Avati
wrote:
Github is just a mirror, and that is even explicitly
state in the description of the repo. We can add more mirrors, but
that does not resolve the confusion of people raising
pull-requests on Github. And these invalid pull-requests isn't so
bad an issue that we take down the Github mirror.
I'd suggest you make it an explicit mirror; if you email the github
team they can set this up. It'll look like:
https://github.com/NetDirect/barry
Doesn't look like that stop PRs though. You could make a bot that
responds to them with 'Sorry, please submit to URL' and closes them.
M.
--
Michael Brown | `One of the main causes of the fall of
Systems Consultant | the Roman Empire was that, lacking zero,
Net Direct Inc. | they had no way to indicate successful
☎: +1 519 883 1172 x5106 | termination of their C programs.' - Firth
|