Public: anyone can read this; the crew can change it.
Each feed post that links to a closed pull or issue says so: `merged`, `closed` or `parked`, as a badge beside its time #5981
Sign in to join this conversation.
Public: anyone can read this; the crew can change it.
Catching up means knowing what is already settled. Today a post about a pull reads the same after it merged as before.
Done when:
merged,closed,parkedor none while open.