Skip to content

Commit 339fed1

Browse files
authored
chore(contributing): mention manual PR merge option (#32126)
Folks are probably already doing this, but just clarify that when a PR is failing status checks you can ping a maintainer for a manual merge if you think its justified. ---- *By submitting this pull request, I confirm that my contribution is made under the terms of the Apache-2.0 license*
1 parent fb97684 commit 339fed1

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

CONTRIBUTING.md

+5
Original file line numberDiff line numberDiff line change
@@ -804,6 +804,11 @@ console.log('This cannot be covered')
804804
* Once approved and tested, one of our bots will squash-merge to main and will use your PR title/description as the
805805
commit message.
806806

807+
> [!NOTE]
808+
> If your PR is failing one of the required checks (e.g Codecov), it will not be auto-merged. If you believe the PR should be merged
809+
> inspite of this, let a maintainer know. The maintainer may agree and merge the PR manually, or ask you to address the failing checks.
810+
811+
807812
## Breaking Changes
808813

809814
**_NOTE_**: _Starting with version 2.0.0 of the AWS CDK, **all modules and members vended as part of the main CDK library**_

0 commit comments

Comments
 (0)