Thanks for the changes! One more change request and I think we're good to go here.

Done! Force pushed. Thanks @nebril

@twpayne I think the issue https://github.com/cilium/cilium/actions/runs/1000552313 is related to pull requests of new branches from witch we can't have SHA in ${{ github.event.before }} etc.

A solution would be to use ${{ github.event.pull_request.base.ref }} and ${{ github.event.pull_request.base.sha }} as mentioned here.

Thanks for investigating! So, if I understand correctly, line number 49:

git diff --name-only --diff-filter=ACMRT ${{ github.event.before }} ${{ github.event.after }} | grep '\.rst$' >> $GITHUB_ENV

should be replaced with

git diff --name-only --diff-filter=ACMRT ${{ github.event.pull_request.base.ref }} ${{ github.event.pull_request.base.sha }} | grep '\.rst$' >> $GITHUB_ENV

Similarly, line 24, currently:

  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.after }}

should be replaced with:

  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.pull_request.base.sha }}

Is this correct?

I'm not sure I understand, what does this PR brings that b381918 did not?

I did some tests by sending PRs to my forked cilium.

https://github.com/geyslan/cilium/runs/2991422456?check_suite_focus=true

It seemed to work changing, as you proposed, line number 24 to:

group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.event.pull_request.base.sha }}

and line 49 to:

git diff --name-only --diff-filter=ACMRT ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} | grep '\.rst$' >> $GITHUB_ENV

The documentation states that base.ref is the destiny branch name (master).