[Toybox] GitHub Action Example

[Rob Landley]

On 6/19/20 7:36 PM, enh wrote:
> as well as available via the web ui which is something that I don't
> think you are seeing when you look the builds in my repository.
> 
> do you know whether a random like me can sign up to get the mails, or
> does that only work for project members?

I'm happy to add you as a project collaborator if that helps, but you have both
enh and enh-google accounts...?

> for me the biggest negative is that there will actually be an
> advantage to using pull requests rather than  just sending email to
> the list, and i absolutely hate dealing with pull requests. the whole
> github model of working just doesn't make any sense to me, and seems
> like a lot of pointless extra hassle. (though i suspect more people
> say that about AOSP, coming from github; being an AOSP "repo" person
> coming to github is admittedly much rarer.)

Each github pull request sends me email with a numbered URL, I add ".patch" to
the end of the URL and wget it from the command line, examine the file, and "git
am" it if I'm ok with the change. (I've never figured out how to deal with them
from the GUI in a way that doesn't screw up the repo.)

Rob