Maxim Solovyov 4911cbc24a github: don't checkout the head of a pull request ...

addresses this annotation:
1 issue was detected with this workflow: git checkout HEAD^2 is no
longer necessary. Please remove this step as Code Scanning recommends
analyzing the merge commit for best results.

2023-06-18 21:37:41 +03:00

1.1 KiB

Raw Blame History

View Raw