tangled.org / core
Monorepo for Tangled — https://tangled.org
fork atom

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

merged
opened by ptr.pet targeting master from ptr.pet/core: push-options
STACK 5
#358 docs: spindle: pipeline: document the push options
1
#0
#356 knotserver,hook: send messages from the knot to the hook, and print it to the git client
4
#2
#354 nix: modules: knot: make git advertise push options
1
#0
#353 knotserver: internal: extract push options from the headers, and implement skipping ci if skip-ci or ci-skip is passed
0
#0
#352 hook: get push options and pass them
0
#0
ABANDONED PULLS 1
#355 knotserver,hook: send messages from the knot to the hook, and print it to the git client
0
#1
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
pull request successfully merged
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/3luzp3dghqr22