#!/bin/sh

# for salsa.d.o , when pushing an intermediate commit which
# will likely _not_ pass all ci tests.  or for which we are
# not interested in their results.

exec git push -o ci.skip