re github ci/cd app: The docs say only Travis is supported. Is that still the case? Which parts of the github app are travis specific? It it just those shell scripts mentioned on
https://pulumi.io/reference/cd-travis.html ? If so it should be probably fairly easy to adapt the guide and scripts for another CI - correct? Thinking of using it in conjunction with gitlab ci on github (to avoid confusion: gitlab ci supports building code hosted
github.com since a couple of months, our code would be on
github.com, not on gitlab)