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

hook: get push options and pass them #340

closed
opened by ptr.pet targeting master from ptr.pet/core: push-options
0
by ptr.pet 0 comments
expand 2 commits
b818e495
hook: get push options and pass them
82c26125
knotserver: internal: extract push options from the headers, and implement skipping ci if skip-ci or ci-skip is passed
sign up or login to add to the discussion
1
by ptr.pet 0 comments
expand 3 commits
b818e495
hook: get push options and pass them
82c26125
knotserver: internal: extract push options from the headers, and implement skipping ci if skip-ci or ci-skip is passed
56cee9fa
nix: modules: knot: make git advertise push options
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/3luws42gvk522