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

docs: spindle: pipeline: document the push options #358

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 1 comment
expand 1 commit
eb4d71b3
docs: spindle: pipeline: document the push options
oppi.li

this is wonderful, thanks for the addition!

pull request successfully merged
sign up or login to add to the discussion
Labels

None yet.

assignee

None yet.

Participants 2
AT URI
at://did:plc:dfl62fgb7wtjj3fcbb72naae/sh.tangled.repo.pull/3lv43rskflw22