[imp-dev] to GIT?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[imp-dev] to GIT?

From: Jurgen Vinju <Jurgen.Vinju@xxxxxx>
Date: Fri, 8 Apr 2011 12:15:16 +0200
Delivered-to: imp-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/imp-dev>
List-help: <mailto:imp-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/imp-dev>, <mailto:imp-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/imp-dev>, <mailto:imp-dev-request@eclipse.org?subject=unsubscribe>

Hi Bob,

Let's migrate IMP to a GIT repository! Would that be feasible for you/us?

Cheers,

Jurgen

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

  www: http://jurgen.vinju.org,
http://www.rascal-mpl.nl,http://twitter.com/jurgenvinju
skype: jurgen.vinju

Follow-Ups:
- Re: [imp-dev] to GIT?
  - From: Robert M. Fuhrer

Prev by Date: [imp-dev] Vote for Committer status for Paul Klint was started by Jurgen Vinju
Next by Date: [imp-dev] +1 for Paul Klint on technology.imp by Stanley Sutton
Previous by thread: Re: [imp-dev] Committer vote for Paul Klint has concluded unsuccessfully
Next by thread: Re: [imp-dev] to GIT?
Index(es):
- Date
- Thread

Breadcrumbs