Thanks to visit codestin.com
Credit goes to github.com

ci/ci_commit_formatting_run: Problem with checking older MR branch.#12658

Merged

dpgeorge merged 1 commit intomicropython:masterfrom

andrewleech:ci_depth

Oct 11, 2023

Commits on Oct 11, 2023

tools/ci.sh: Ensure enough commits are fetched for a common ancestor.

pi-anl
authored and
dpgeorge
committed