[Oil-dev] Welcome to oil-dev!

[Andy Chu]

Is this thing on? :)

I set up oil-discuss@ and oil-dev@ back in November when I released the
code.  I think I'll retire oil-discuss@ because Reddit/Lobsters/Hacker News
are better for casual discussion.

But I think oil-dev@ still has a place.  It should be useful for technical
discussion, and hopefully there's a way to syndicate discussions on GitHub
pull requests here.

I'm open to suggestions about the forum technology.  One thing that
concerns me is that I'm hosting this on Dreamhost, and I've been on the
toybox mailing list, which has had problems with Dreamhost.  Apparently
Gmail and mailing lists don't interact very well.

A lot of projects seem to be using Google Groups, but I've had pretty bad
experiences with it.  I see people using Gitter too but I've never used it.

I just wrote a few blog posts talking about the status of the project:
http://www.oilshell.org/blog/2017/03/01.html

And this response gives some more color:
https://lobste.rs/s/mhg2nj/oil_shell_project_roadmap_4

In short, I want to make it quick and easy to contribute.  It looks like
there are 7 people on this list right now, so feel free to share your
thoughts.

thanks,
Andy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.oilshell.org/private.cgi/oil-dev-oilshell.org/attachments/20170302/be77b05e/attachment.htm>