To add to that, I don't think github provides great hosting of plain old
HTML files the way sourceforge does. I could be wrong.

On Tue, Jul 31, 2012 at 12:45 AM, Michael Norrish <
[email protected]> wrote:

> 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
>
------------------------------------------------------------------------------
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

Reply via email to