Merge main into v1 - #434

Merged

hmakholm merged 10 commits into

v1from

update-v1-bf8daada

Mar 26, 2021

Commits on Mar 22, 2021

Count the number of parents of the current commit to check it is still a merge
Simon Engledew
committed
PR feedback
Simon Engledew
committed
Skip doing work if it is not necessary
Simon Engledew
committed

Commits on Mar 23, 2021

Merge pull request #428 from github/simon-engledew/detect-merge
Simon Engledew
authored

Commits on Mar 25, 2021

Rewrite the ref to correctly point to refs/remotes
Simon Engledew
committed
Merge pull request #432 from github/simon-engledew/fix-ref-check
Simon Engledew
authored