<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_extra"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="">
><br>
> I was under the impression they were disabled by the options we had<br>
> selected. Unfortunately that is not the case.<br>
<br>
</span>Thanks for clarifying on this.<br>
<br>
I hope they can still be disabled.<br>
<span class="im"><br></span></blockquote><div>They can't. I had spent some time looking before. Sorry.<br><br></div><div>However, we have solid hard data that it's a non-issue.<br><br></div><div>Gnome has been mirrored on github for nearly 2 years, in that time  GTK has had a grand total of 4 pull requests over time.<br></div><div>Most others (gedit, cheese, epiphany) have had 0. </div><div><br></div><div>Interestingly they have had literally hundreds of github "forks", which implies it has led to sustantiable numbers of patches back using the traditional methods<br></div></div><br></div><div class="gmail_extra">I've made a wiki page, which says how to turn a pull request into a reviewboard submission.<br><div class="gmail_extra"><a href="https://techbase.kde.org/Development/GithubMirror">https://techbase.kde.org/Development/GithubMirror</a><br><br></div><div class="gmail_extra">If we get any questions we can then just copy and paste that, and don't need to spend any time explaining. Bam, done.<br></div><div class="gmail_extra"></div><div class="gmail_extra"><br></div><div class="gmail_extra">David<br></div><div class="gmail_extra"><br><br><div class="gmail_quote"><br></div></div></div></div>