From 9676d230fb12c046ebbedc970de55f5b8b8131b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=B4me?= <124148386+cathales@users.noreply.github.com> Date: Mon, 4 Nov 2024 12:09:41 +0100 Subject: [PATCH] Mention that PR must be updated in CONTRIBUTING.md (#2568) --- CONTRIBUTING.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 15c56beeb5..51b182403c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -61,6 +61,12 @@ See the [Git Cheats](https://github.com/openhwgroup/core-v-verif/blob/master/Git 6. Push feature branch: `git push origin ` 7. From GitHub: submit a pull request +Please note that we do not accept outdated pull requests. +This makes sure the CI flow has run in the to-be version of the master. + +To allow us to update the pull request before merging it, please consider checking the "Allow edits from maintainers" checkbox. +Note that this can only be done with pull requests from your personal repository (it is impossible from organization repositories). + ## Coding Style For RTL coding, the OpenHW Group has adopted the [lowRISC Style Guides](https://github.com/lowRISC/style-guides/).