Search results

The "currently open" view also shows closed (unmerged) PRs

Status: Open.

#276 In w3c/ash-nazg;

· pchampin opened on Jan 27, 2025

Track the state of closed PRs

enhancement

Status: Open.

#271 In w3c/ash-nazg;

· deniak opened on Nov 18, 2024

Filter merged PRs on the contributors list

enhancement

Status: Open.

#270 In w3c/ash-nazg;

· deniak opened on Nov 18, 2024

IPR bot should support the 45-day grace period

Status: Open.

#268 In w3c/ash-nazg;

· OrKoN opened on Jul 12, 2024

Define non-substantive

Status: Open.

#253 In w3c/ash-nazg;

· annevk opened on Oct 19, 2022

Delete old webhooks when re-importing a repository

Status: Open.

#247 In w3c/ash-nazg;

· jyasskin opened on May 26, 2022

Need an "ignore" option?

enhancement

Status: Open.

#246 In w3c/ash-nazg;

· wseltzer opened on May 19, 2022

Use group shortname when creating w3c.json

Status: Open.

#237 In w3c/ash-nazg;

· dontcallmedom opened on Dec 10, 2021

Update existing PRs after a repository update (transfer, rename, etc)

Status: Open.

#236 In w3c/ash-nazg;

· deniak opened on Dec 1, 2021

Some repositories are duplicated, e.g. web-share

Status: Open.

#235 In w3c/ash-nazg;

· saschanaz opened on Dec 1, 2021

api/import-repo throws HTTP 500

Status: Open.

#234 In w3c/ash-nazg;

· saschanaz opened on Nov 30, 2021

Make repository names case insensitive

Status: Open.

#230 In w3c/ash-nazg;

· deniak opened on Nov 3, 2021