github pipeline ?

[sandys]

hi guys, would it be possible for you to add a github pipeline config here ? including for production ?

i realise that the pipeline run would cost money, so you could just add the .github directory under some other name. it would be super helpful to use this repo.