Menu
▾
▴
Re: [Jmlspecs-developers] Fwd: SourceForge Repo Clone Complete
|
From: <co...@fr...> - 2012-11-28 01:32:23
|
Thanks Gary - though with a slight warning I could have avoided being caught in the middle of some work - but I think I can recover. Regarding tracker tickets, it appears the only way to distinguish different subprojects is using the "labels" field. So anything I find that is OpenJML related I'm adding an 'OpenJML' label - others please do the same One can search on labels, but - I don't see a way to display labels in lists of tickets - nor a way to block edit the labels of a set of tickets (If I'm missing something, please let me know, as it would save time) - David ________________________________ From: Gary T. Leavens <le...@ee...> To: JML developers list <jml...@li...> Sent: Tuesday, November 27, 2012 6:05 PM Subject: [Jmlspecs-developers] Fwd: SourceForge Repo Clone Complete Hi all, Apparently at sourceforge.net, there is a new URL to use for SVN checkouts of the jmlspecs repositories. See below and substitute your sourceforge.net username for "leavens". ---------- Forwarded message ---------- From: SourceForge.net <nor...@in...> Date: Tue, Nov 27, 2012 at 5:45 PM Subject: SourceForge Repo Clone Complete To: no...@in... Your cloned repository code in project jmlspecs is now ready for use. Old repository url: http://jmlspecs.svn.sourceforge.net/svnroot/jmlspecs New repository checkout command: svn checkout --username=leavens svn+ssh://leavens@svn.code.sf.net/p/jmlspecs/code/trunk jmlspecs-code You and any other developers should do a fresh checkout using the new repository location. -- 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... ------------------------------------------------------------------------------ Keep yourself connected to Go Parallel: DESIGN Expert tips on starting your parallel project right. http://goparallel.sourceforge.net _______________________________________________ Jmlspecs-developers mailing list Jml...@li... https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers |