Ohloh by Black Duck

 Follow @ Meta   Join Now

Forums

"Cannot enlist a CVS repository of Isabelle"



Hey there,

I tried adding this CVS repository enlistment for this project:

http://www.ohloh.net/projects/isabelle/enlistments

as:

:pserver:anonymous@cvsbroy.informatik.tu-muenchen.de:/home/proj/isabelle-repository/archive

and the module is "isabelle", but ohloh couldn't "ls" it:

""" The cvs server did not respond to an 'ls' command. Are the URL and module name correct? """

When I try manually the checkout using the same cvsroot etc, it works:

cvs -d :pserver:anonymous@cvsbroy.informatik.tu-muenchen.de:/home/proj/isabelle-repository/archive co isabelle

?

Thanks,

-s

Avatar

mokhov

about 5 years ago
 

Hi mokhov,

I'm still investigating the cause of this problem. It's a real puzzler, since I can't find anything unusual about this URL, and it appears to process correctly when I run it through by hand.

While I try to solve the problem, I've already manually added this enlistment to the project, and it's in the queue for download now.

Thanks, Robin

Avatar

Robin Luckey

about 5 years ago
 

Post a Response



 

Creative Commons License Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.