push should use GH REF when it's a push and GH HEAD REF when it's a PR
push should use GH REF when it's a push and GH HEAD REF when it's a PR

OSC/ood-documentation,OSC/ood-documentation,OSC/ood-documentation,OSC/ood-documentation