Repository navigation

Merge main into v1 - #434

Merged

hmakholm merged 10 commits into

v1from

update-v1-bf8daada

Mar 26, 2021

Merged

Merge main into v1#434
hmakholm merged 10 commits into
v1from
update-v1-bf8daada

Commits on Mar 22, 2021
- Count the number of parents of the current commit to check it is still a merge
  Simon Engledew
  committed
  ef92c5a
- PR feedback
  Simon Engledew
  committed
  36a9516
- Skip doing work if it is not necessary
  Simon Engledew
  committed
  9165099
Commits on Mar 23, 2021
- Merge pull request #428 from github/simon-engledew/detect-merge
  Simon Engledew
  authored
  972dc3e
Commits on Mar 25, 2021
- Rewrite the ref to correctly point to refs/remotes
  Simon Engledew
  committed
  ba14abb
- Merge pull request #432 from github/simon-engledew/fix-ref-check
  Simon Engledew
  authored
  bb012c4
Commits on Mar 26, 2021
- Update CodeQL bundle to 20210326
  hmakholm
  committed
  1d93ad9
- Temporarily use the latest version for testing
  
  rneatherway
  authored and
  hmakholm
  committed
  d8216de
- Revert "Temporarily use the latest version for testing"
  hmakholm
  committed
  996a90b
- Merge pull request #433 from github/hmakholm/pr/2.5.0
  hmakholm
  authored
  bf8daad