<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 13-05-28 02:25 AM, Anand Avati
wrote:<br>
</div>
<blockquote
cite="mid:CAFboF2y6TQ2yjc5yn0nYnQKjR4uUtKNVFNPh-8gM5hcsgPzNaw@mail.gmail.com"
type="cite">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.</blockquote>
<meta http-equiv="content-type" content="text/html;
charset=ISO-8859-1">
I'd suggest you make it an explicit mirror; if you email the github
team they can set this up. It'll look like:<br>
<br>
<a href="https://github.com/NetDirect/barry">https://github.com/NetDirect/barry</a><br>
<br>
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.<br>
<br>
M.<br>
<br>
<pre class="moz-signature" cols="72">--
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
</pre>
</body>
</html>