this repo has no description

Close 3 stale PRs that are already merged #12

closed opened by pierrelf.com

The following PRs have content already merged to main and cannot be merged via tangled pr merge (patch conflict since changes exist). They need to be manually closed:

  • PR 3mgxfyy24ri2e - Customized rambutan animations after units/tasks (mascot-animations branch, zero diff vs main)
  • PR 3mgxfkwz4sq2x - Name the rambutan mascot (name-mascot branch, superseded)
  • PR 3mgxdzhmxmh25 - Rambutan favicon, tab title, PWA support (favicon-title-pwa branch, superseded)

Review comments have been left on all three PRs. The stale remote branches (mascot-animations, name-mascot, favicon-title-pwa) can also be deleted.

sign up or login to add to the discussion
Labels

None yet.

assignee

None yet.

Participants 1
AT URI
at://did:plc:meotu43t6usg4qdwzenk4s2t/sh.tangled.repo.issue/3mgxgiln5qj2k