aboutsummaryrefslogtreecommitdiff
path: root/INSTALL-GITHUB-DEV
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-11-26 11:11:11 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-12-10 16:44:55 +0200
commit07003c825d632662ea9905c3d14af44710a640e0 (patch)
tree1ecf74d0605fa9da37052de3031ab07b2d1d28a9 /INSTALL-GITHUB-DEV
parent475771f84d3fb6197fea772d67e5a59c46b512e5 (diff)
Remote PRs: cancel previous PR head commit CI
Diffstat (limited to 'INSTALL-GITHUB-DEV')
0 files changed, 0 insertions, 0 deletions