Search results

WebKit export tool does not add wpt-pr-bot as a reviewer (but leaves a comment)

Status: Open.

#266 In web-platform-tests/wpt-pr-bot;

· graouts opened on Feb 17, 2025

WebKit export tool still asks people for reviews

Status: Open.

#164 In web-platform-tests/wpt-pr-bot;

· annevk opened on Dec 7, 2020

wpt-pr-bot exceeding GitHub API limit

Status: Open.

#144 In web-platform-tests/wpt-pr-bot;

· stephenmcgruer opened on Feb 12, 2020

wpt-pr-bot can assign a PR to the author if they 'reviewed' it last

Status: Open.

#142 In web-platform-tests/wpt-pr-bot;

· stephenmcgruer opened on Jan 27, 2020

Split up "html" label to multiple labels

enhancement

Status: Open.

#129 In web-platform-tests/wpt-pr-bot;

· zcorpan opened on Dec 9, 2019

Spurious "no reviewers" comments

Status: Open.

#121 In web-platform-tests/wpt-pr-bot;

· foolip opened on Nov 25, 2019

Wait with asking for review until other checks have finished

enhancement

Status: Open.

#117 In web-platform-tests/wpt-pr-bot;

· zcorpan opened on Nov 7, 2019

Add user documentation for @wpt-pr-bot

documentation

Status: Open.

#106 In web-platform-tests/wpt-pr-bot;

· zcorpan opened on Oct 25, 2019

Help contributors rebase PR branches

Status: Open.

#81 In web-platform-tests/wpt-pr-bot;

· foolip opened on Oct 21, 2019

Be resilient to mistakes that currently cause wpt-pr-bot to ask everyone to review

Status: Open.

#79 In web-platform-tests/wpt-pr-bot;

· zcorpan opened on Sep 11, 2019

Don't assign the owner of a PR

Status: Open.

#78 In web-platform-tests/wpt-pr-bot;

· foolip opened on Aug 27, 2019

Migrate to GitHub actions

Status: Open.

#77 In web-platform-tests/wpt-pr-bot;

· foolip opened on Aug 27, 2019