Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [imp-dev] status quo in move to github

The project name is a trademark of the Eclipse Foundation. If you're moving the project out of Eclipse, you'll have to change the name.

Further, the org.eclipse namespace belongs to the Eclipse Foundation. That will also have to change.

What is the timeframe for completion of the move? Will you request a termination review?

Wayne

On 11/14/2012 05:32 PM, Jurgen Vinju wrote:
Dear IMPs and Rascals,

Today we have migrated some parts of IMP to github:
Please do not immediately start to push/fork/clone/commit and give this some time to settle down (a few days, until Monday). We need to find out if everything was transferred correctly and is building and testing, and the authors are correctly linked etc. etc. If some problem would be detected, then we should re-migrate to fix issues and your work would be lost.

Please use the project set on the wiki to check out the projects and test whether it is working for you as expected? https://github.com/eclipse-imp/imp.runtime/wiki

Our plan is to start with this hot bunch and try to work on the rest of IMP incrementally. The old SVN locations have been moved to trunk/moved_to_github/<projectname> to prevent accidental commits.

Cheers,

Jurgen & Bob

--
Jurgen Vinju
- Centrum Wiskunde & Informatica - SEN1
- INRIA Lille - ATEAMS
- Universiteit van Amsterdam

  www: http://jurgen.vinju.org, http://www.rascal-mpl.org,http://twitter.com/jurgenvinju
skype: jurgen.vinju
_______________________________________________ imp-dev mailing list imp-dev@xxxxxxxxxxx https://dev.eclipse.org/mailman/listinfo/imp-dev

--
Wayne Beaton
The Eclipse Foundation
Twitter: @waynebeaton
Explore Eclipse Projects
EclipseCon
          2013

Back to the top