[leathersoft]

Very interest, never had thought about the possibility to skip CI on trivial changes, which makes total sense! Clever.