[Toybox] GitHub Action Example

[enh]

On Wed, Jun 17, 2020 at 10:26 AM dmccunney <dennis.mccunney at gmail.com> wrote:
>
> On Tue, Jun 16, 2020 at 4:27 PM enh via Toybox <toybox at lists.landley.net> wrote:
> > (i'm personally looking forward to the web editor they've talked about,
> > if it's anything close to Visual Studio Code --- which it ought to be, given
> > that that's just Javascript.)
>
> You mean this?  https://www.gitpod.io/

no, that's some random other company. github's doing their own, but i
think it's still private beta or somesuch. they talked about it
earlier this year.

> Looks like it might be ready...
> ______
> Dennis