Skip to content

Oppiabot is saying that contributors can't merge PRs, when they can. #261

@seanlip

Description

@seanlip

Describe the bug

On oppia/oppia#12620 (comment), Oppiabot is saying:

"Hi @aks681, this PR is ready to be merged. Author of this PR does not have permissions to merge this PR. Before you merge it, please make sure that there are no pending comments that require action from the author's end. Thanks!"

However, this PR is authored by Rijuta, who is a member of the Oppia organization and does indeed have permissions to merge PRs. So, this seems like a bug with Oppiabot.

Observed behavior
Oppiabot posts the following message erroneously: "Hi @aks681, this PR is ready to be merged. Author of this PR does not have permissions to merge this PR. Before you merge it, please make sure that there are no pending comments that require action from the author's end. Thanks!"

Expected behavior
Oppiabot should not post this message because the PR author has permissions to merge the PR.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions