tangled.org / core
Monorepo for Tangled tangled.org
fork atom

knotserver: internal: extract push options from the headers, and implement skipping ci if skip-ci or ci-skip is passed #350

closed
opened by ptr.pet targeting master from [deleted fork]: push-options
STACK 3
#351 nix: modules: knot: make git advertise push options
0
#0
#350 knotserver: internal: extract push options from the headers, and implement skipping ci if skip-ci or ci-skip is passed
0
#0
#349 hook: get push options and pass them
0
#0
0
by ptr.pet 0 comments
expand 1 commit
b36b03a3
knotserver: internal: extract push options from the headers, and implement skipping ci if skip-ci or ci-skip is passed
closed without merging
sign up or login to add to the discussion
Labels

None yet.

assignee

None yet.

Participants 1
AT URI
at://did:plc:dfl62fgb7wtjj3fcbb72naae/sh.tangled.repo.pull/3luzp263mjc22