Skip to content

Repo: Consider adding a bot that asks not to force push when that happens #5170

New issue
New issue
Open
Open
Repo: Consider adding a bot that asks not to force push when that happens#5170
Labels
accepting prsGo ahead, send a pull request that resolves this issuerepo maintenancethings to do with maintenance of the repo, and not with code/docs
@JoshuaKGoldberg

Description

@JoshuaKGoldberg
JoshuaKGoldberg
opened on Jun 11, 2022

Suggestion

The CONTRIBUTING.md asks not to force push. Yet a lot of PRs have force pushes. Clearly, not everyone is thoroughly reading+memorizing the contributing guides 😉.

How about we add a bot that says a more professional version of: "hey don't sweat it that you already force pushed but please don't keep doing it; it makes it harder for us to review because XYZ and we squash merge anyway" ?

Metadata

Metadata

Assignees

No one assigned

    Labels

    accepting prsGo ahead, send a pull request that resolves this issuerepo maintenancethings to do with maintenance of the repo, and not with code/docs

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions