Skip to content

Handle deleted user in the assignee list#6

Closed
kevintab95 wants to merge 1 commit intodevelopfrom
handle-deleted-user
Closed

Handle deleted user in the assignee list#6
kevintab95 wants to merge 1 commit intodevelopfrom
handle-deleted-user

Conversation

@kevintab95
Copy link
Member

This run (https://github.com/oppia/oppia/actions/runs/13056262032) seems to have failed on a PR which had been reviewed by a now deleted user. This PR updates the code to handle this scenario.

@kevintab95 kevintab95 closed this Feb 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant