this repo has no description

Close stale PRs that are already merged #13

closed opened by pierrelf.com

The following 3 PRs are stale and should be closed:

  1. PR 3mgxfyy24ri2e - 'Customized rambutan animations after units/tasks' (branch: mascot-animations)
  2. PR 3mgxfkwz4sq2x - 'Name the rambutan mascot' (branch: name-mascot)
  3. PR 3mgxdzhmxmh25 - 'Rambutan favicon, tab title, PWA support' (branch: favicon-title-pwa)

All three branches have been superseded by the direct merge of mascot-animations into main (commit 952e70b). The tangled CLI has no 'pr close' command and 'pr merge' fails with a 409 Conflict since the patches are already applied. These PRs need to be closed manually via the Tangled web UI, or a 'pr close' CLI command is needed.

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/3mgxglnzcdg2c