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

Hi all,

I'm willing to look into migrating the wiki, once sourceforge.net tells us
how to do that (or when I can find time).


On Tue, Nov 27, 2012 at 11:55 PM, co...@fr...
<co...@fr...>wrote:

>
>
>   ------------------------------
> 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 projects in wiki format.
> There is a built-in wiki system for sourceforge. I expect that eventually
> sourceforge will tell us how to migrate from trac to the 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?
>
>


-- 
        Gary T. Leavens
        437D Harris Center (Bldg. 116)
        Computer Science, University of Central Florida
        4000 Central Florida Blvd., Orlando, FL 32816-2362 USA
        http://www.eecs.ucf.edu/~leavens  phone: +1-407-823-4758
        le...@ee...