<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On 23 April 2014 20:03, Stefan Marr <span dir="ltr">&lt;<a href="mailto:smalltalk@stefan-marr.de" target="_blank">smalltalk@stefan-marr.de</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
Hi Igor:<br>
<div class=""><br>
On 23 Apr 2014, at 18:31, Igor Stasenko &lt;<a href="mailto:siguctua@gmail.com">siguctua@gmail.com</a>&gt; wrote:<br>
<br>
&gt; I am currently using the source tree from  git clone git://<a href="http://gitorious.org/cogvm/blessed.git" target="_blank">gitorious.org/cogvm/blessed.git</a><br>
<br>
</div>Could we just kill the repo?<br>
Or, set up a cronjob to push the changes from github?<br>
<br></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
It’s not the first time someone wasted time because of this confusion.<br>
<br><br></blockquote><div>i guess it should be noted somewhere that it is outdated. killing it not really possible,<br></div><div>since there&#39;s many forks created by different users and only they has rights to administer those. <br>
</div><div> <br></div><div>And it is written there already:<br><a href="https://gitorious.org/cogvm">https://gitorious.org/cogvm</a><br><br><h1>WARNING: This project is NOT mantained here anymore.   
<br>Please go to: <a href="https://github.com/pharo-project/pharo-vm">https://github.com/pharo-project/pharo-vm</a>
</h1>


<br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Best regards<br>
<span class=""><font color="#888888">Stefan<br>
<br>
--<br>
Stefan Marr<br>
INRIA Lille - Nord Europe<br>
<a href="http://stefan-marr.de/research/" target="_blank">http://stefan-marr.de/research/</a><br>
<br>
<br>
<br>
</font></span></blockquote></div><br><br clear="all"><br>-- <br>Best regards,<br>Igor Stasenko.
</div></div>