On 31/07/12 06:25, Ian Zimmerman wrote: > Michael> I'm glad you got the emacs mode to work. There’s some > Michael> (recently updated) documentation for it at
> Michael> http://hol.sourceforge.net/hol-mode.html > Why on sourceforge? Shouldn't _everything_ migrate to github? I can't see why, offhand. The main argument against is that it's nice to have a consistent URL (I think we've had this one for 10 years or so) and e-mail addresses. The sources for the web-pages are stored on github (see https://github.com/mn200/hol-webpages), but I think our user-facing world can remain on sourceforge. We also use sourceforge for this (and other) mailing lists and (mirrored) file-hosting. There's a pretty simple message: users see us at sourceforge, developers interact with github facilities. I get to be the guy that straddles both worlds, developing on github of course, but also occasionally pushing releases and web-page updates to sourceforge. Michael ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
