Well like I said in my first email, if you guys are interested in owning and maintaining the GitHub repo it is yours, besides I have not done anything with the history I only added one commit which will never conflict with upstream unless you add a .Travis.yml file :)<br>
<br><div>On Thursday, May 8, 2014 3:42:05 PM, David Bremner <<a href="mailto:david@tethera.net">david@tethera.net</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Wael Nasreddine <<a href="mailto:wael.nasreddine@gmail.com" target="_blank">wael.nasreddine@gmail.com</a>> writes:<br>
<br>
> I didn't see the previous email about it, thank you Jani for the link. It<br>
> looks like you guys have your hands full and everything setup the way you<br>
> like it, so here's what I'll do myself (if it's acceptable with you,<br>
> otherwise I'll just remove everything):<br>
><br>
> - Revert my changes (except for the CI)<br>
> - Set a cron job to update the mirror hourly for the Github user wanting to<br>
> fork.<br>
> - Remove the Issues, Pull Request and the Wiki<br>
> - Add a "mirror of .." to the description on top of the page<br>
> - Manually update the contrib/ bindings/ as they change in here and maybe<br>
> automate it later.<br>
><br>
> For the automatic pusher, I'll have to skip the README changes.<br>
<br>
I think the concensus among the devs is that if there is going to be a<br>
"notmuch" organization on github then it should be owned by and<br>
controlled by us.<br>
<br>
I'm sure your intentions are good, but reasonable people can differ<br>
about the best way to do things; in particular it makes no sense to me have<br>
a mirror where the history has been rewritten, meaning that people can't<br>
merge to or from the offical repo.<br>
<br>
Of course what you do as your own github user is up to you.<br>
<br>
d<br>
<br>
</blockquote>