tangled.org / core

772

Monorepo for Tangled tangled.org

772

bug: closing an open PR on a stack of merged PRs marks merged PRs as closed #170

open opened by

pdewey.com 1 day ago

Example (all PRs in the stack except #42 were merged, 42 was closed and all others also show as closed): https://tangled.org/arabica.social/arabica/pulls/44/round/0

sign up or login to add to the discussion

Labels

None yet.

assignee

None yet.

Participants 1

AT URI

at://did:plc:hm5f3dnm6jdhrc55qp2npdja/sh.tangled.repo.issue/3mhtscwfom622