Re: [Jmlspecs-developers] Fwd: SourceForge Repo Clone Complete

________________________________
 Gary,

The tickets (bug-tracking) system is remaining, I believe. However as you say trac is going away. There is material there about JML, OpenJML, and other JML-related projectsin wiki format.
There is a built-in wiki system for sourceforge. I expect that eventually sourceforge will tell us how to migrate from trac tothe sourceforge wiki. The

https://sourceforge.net/p/forge/community-docs/Migrating%20Trac%20from%20Hosted%20Apps/

page appears incomplete (as well as a lengthy set of steps to follow).
Perhaps there are few enough pages they could be transferred manually.

Anyone else have experience with sourceforge migration? and trac to wiki migration?

- David




From: Gary T. Leavens <le...@ee...>
To: "co...@fr..." <co...@fr...> 
Sent: Tuesday, November 27, 2012 9:31 PM
Subject: Re: [Jmlspecs-developers] Fwd: SourceForge Repo Clone Complete
 

Hi David,

Sorry for the extra trouble. I'm not sure what to do about labels and tickets. Apparently sourceforge is going to discontinue use of trac soon, so we'll have to figure out what to do about that. Are you using trac?