Skip to content

Close PR on a force-push #368

Description

@jayam04

Is your feature request related to a problem? Please describe.
When a PR is assigned to reviewers after a huge number of commits, it's hard to check for force-pushes. Searching the whole page works, but only if some comments and commits are not hidden (which probably are in case of huge PR).

Describe the solution you'd like

  • Update Oppiabot to check for force-push when new commits are pushed to the PR.
  • When PR is reopened, check for previous messages of force-pushes.

Describe alternatives you've considered
N/A

Additional context
Add any other context or screenshots about the feature request here.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions