Git repo would be nice I think, even thought people have to learn new CMS.
May be you can just mirror the svn repository contents using "git import" or something likes that? On Wed, Jul 6, 2016 at 9:30 AM, <[email protected]> wrote: > [email protected] > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/electricvlsi/topics> > Google > Groups > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > Topic digest > View all topics > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/electricvlsi/topics> > > - GitHUB <#m_-3893864940557921876_group_thread_0> - 1 Update > > GitHUB > <http://groups.google.com/group/electricvlsi/t/bc8e5a6a9132e4a2?utm_source=digest&utm_medium=email> > "Luís Vitório Cargnini" <[email protected]>: Jul 04 07:10PM -0700 > > Guys, > > I began to place the code on GitHUB. Since I'm not the author, I would like > to ask for comments (from the author specially). If this would be ok, also > I need his GitHUB ID to set as administrator of the repository if it is ok > for him. Also, I'm adding IntelliJ support. > > I specific mention *Steven M. Rubin. *Because so far the code can be > downloaded only and there is no Git three, also I believe would be better > for Steven to maintain the tool in the long-term. > > Best Regards, > > Vitorio. > Back to top <#m_-3893864940557921876_digest_top> > You received this digest because you're subscribed to updates for this > group. You can change your settings on the group membership page > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/electricvlsi/join> > . > To unsubscribe from this group and stop receiving emails from it send an > email to [email protected]. > -- You received this message because you are subscribed to the Google Groups "Electric VLSI Editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
