Move our stuff or just use GitHub actions?

[Allen Wittenauer]

        
With the primary Jenkins shutting down, I guess we should make a decision.  
FWIW, I'm perfectly happy to drop Jenkins and use GitHub actions given how many 
of us run test-patch on Jenkins for our $DAYJOBS.

Thoughts?