Add CI to ensure PR does not contains merge commit.#5

Merged

sbernard31 merged 1 commit intomasterfrom no_merge

Jul 5, 2022

+30-1

Commits on Jun 17, 2022

eclipse-leshan#1265 : Add CI to ensure PR does not contain merge commit.
sbernard31
committed