knotserver: internal: extract push options from the headers, and implement skipping ci if skip-ci or ci-skip is passed
Signed-off-by: dusk <y.bera003.06@protonmail.com>Change-Id: prnxlqukyzkuwltoylruvunqkmmwrukx
authored by ptr.pet and committed by Tangled 5 months ago 56c2a277 690d4b2f