Skip to content

Comments

dev: improve recommendations for new PRs#7403

Merged
Hwurzburg merged 3 commits intoArduPilot:masterfrom
ES-Alexander:avoid-duplicate-prs
Feb 11, 2026
Merged

dev: improve recommendations for new PRs#7403
Hwurzburg merged 3 commits intoArduPilot:masterfrom
ES-Alexander:avoid-duplicate-prs

Conversation

@ES-Alexander
Copy link
Contributor

@ES-Alexander ES-Alexander commented Feb 11, 2026

Due to some recent cases of people submitting PRs to solve issues without realising there's one already being worked on, it seems worthwhile to recommend checking that before starting to work on an issue. It's also common for @peterbarker to suggest a change needs an autotest, which we may as well mention in the submission recommendations.

Complements ArduPilot/ardupilot#32173.

@ES-Alexander ES-Alexander changed the title dev: try to avoid duplicate PRs dev: improve recommendations for new PRs Feb 11, 2026
@Hwurzburg Hwurzburg merged commit 54d5753 into ArduPilot:master Feb 11, 2026
2 checks passed
@ES-Alexander ES-Alexander deleted the avoid-duplicate-prs branch February 11, 2026 15:22
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.

2 participants