do i need to do anything other than have the Githu...
# general
b
do i need to do anything other than have the Github PR open to CI my changes?