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

nix: modules: knot: make git advertise push options #354

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
0ba493e1
nix: modules: knot: make git advertise push options
oppi.li

note to self: we should document a list of good git config opts for knots to use.

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/3luzp3dghqs22