Monorepo for Tangled tangled.org

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

open opened by

pdewey.com edited 18 hours 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

Labels

None yet.

area

None yet.

assignee

None yet.

Participants 1

AT URI

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