Lines Matching refs:a
3 …hat a Pull Request (PR) goes through when a pull request is submitted to a git repository in the F…
15 …ack the progress of pull requests and ensure that they are reviewed and merged in a timely manner.
17 …ws, one of which must be from the CODEOWNER of the reposiroty, are required for a PR to be merged.
22 Once a pull request (PR) is submitted, it goes through the following stages:
29 2. The assignee assigns a reviewer from the FreeRTOS Team to the PR.
34 4. The reviewer approves the PR and assigns a second reviewer.
51 The status of a PR is indicated through GitHub labels added by Reviewers/Assignees. The following a…
53 …y decide to skip some stages depending on the type of PR. For example, a PR with a simple doc upda…
64 The length of time required to review a PR is unpredictable and varies from PR to PR since it depen…
85 …a new feature to FreeRTOS, please get confirmation beforehand that the FreeRTOS team and community…
87 …a single PR. Lets say you are developing feature-x and you come across poorly named variables or …
88 4. Comments matter. The code you develop will need to be maintained for a long time. Well placed co…
93 …etimes reviewers make mistakes. If a reviewer has requested you to make changes and you feel stron…
96 Put a bit of thought into how your PR can be made easier to review and merge. No document can repla…
102 …osed pull requests are easy to recreate, and little work is lost by closing a pull request that is…
104 * Maintain a clean project
110 …ecause of a feature freeze due to an upcoming release. During this time, only bug fixes are taken …
111 …fs, they run away - this pull request is going to take a few hours to review and they don’t have a…
112 …me pull request love, please drop a couple of reminders on the PR comments. If everything else fa…