|
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 |
