[imp-dev] status quo in move to github

[Jurgen Vinju <Jurgen.Vinju@xxxxxx>]

Dear IMPs and Rascals,

Today we have migrated some parts of IMP to github:

• imp.runtime
• imp.runtime.feature
• pdb
• pdb.values
• pdb.ui
• pdb.values.test
• imp.pom

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