You have catch all my points, good to see what there is someone who agrees with me :)<div>I don&#39;t care who is the maintainer either, because a community-driven repo on github would be a great deal more effective.</div>
<div>After all, the maintainer is the person that updates and push the package on Hackage, keep it updated and so on and so forth.</div><div>Is the social coding era, I think these are all tasks that could be performed by the XMonad community :)</div>
<div><br></div><div>As soon as I get info from Adam I&#39;ll keep you posted :)</div><div>A.<br><br><div class="gmail_quote">On 6 November 2012 12:40, Johan Brinch <span dir="ltr">&lt;<a href="mailto:brinchj@gmail.com" target="_blank">brinchj@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Tue, Nov 6, 2012 at 12:33 PM, Alfredo Di Napoli<br>
&lt;<a href="mailto:alfredo.dinapoli@gmail.com">alfredo.dinapoli@gmail.com</a>&gt; wrote:<br>
&gt; Ah! The choice of an &quot;official&quot; maintainer is secondary, imo. It could be<br>
&gt; any of you, me, or whatever. I think that what is really important is to<br>
&gt; have a centralized point of convergence :)<br>
<br>
</div>Very good to see some interest in the code base ;-)<br>
Maybe you should also check the IRC channel? #xmonad at freenode.<br>
There&#39;s a lot of people in there.<br>
<br>
I agree, that it would be good to merge the repositories, and I&#39;d<br>
prefer GitHub for hosting. I don&#39;t care who&#39;s the maintainer, except<br>
it should be someone who&#39;s available and has the time and interest (a<br>
fellow user).<br>
<br>
Whether it&#39;s our repository or somewhere else, I don&#39;t really care, as<br>
long as we can commit to it without too much hassle. Maybe we could<br>
finally get those bugs in core fixed ;-)<br>
<br>
Anyway, let me know when you hear something.<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Johan Brinch<br>
</font></span></blockquote></div><br></div>