Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Things the PR does go here
Pre-PR Checklist:
Have you
Optional Headings (delete this heading and the ones you don't use)
Reviewers, Note
Things the reviewers should keep in mind go here.
Also tell reviewers how to verify/test your code's correctness here.
Things left to do
If there are many things left to do then consider a draft PR
Labels Info (delete the rest of this once you have read it)
We use GitHub's Labels to categorise PRs and Issues. Most PRs should have these labels:
G-Group-Name
: G for the group(s) associated with or reviewing the PR.L-Language-Name
: L for the language(s) which are used most in the PR.Less common label categories include:
!!-High-Priority-Reason
: A reason this PR is high priority e.g. it's a bug or it's explicitly for RoboCup.-General-Thing
: A general PR thing. These are all case-by-case and don't fit well into the other categories.-D-Difficulty-Level
: The difficulty level of implementing the change. This is mostly used for issues and is usually not applicable to PRs.A full list of labels is available here.