Dirk Hohndel 7d918aeef1 CICD: gracefully handle non merge pushes
Also improve the spacing of the merge text a tiny bit.

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
2024-01-10 19:24:36 -08:00
..
2021-11-20 12:01:27 -08:00
2018-07-26 16:32:51 +03:00