Labels

• beginner

  Good for newcomers. Mark issues with this.
• beginner-easy

  Less than five days of work for a beginner.
• beginner-hard

  Unknown amount of work for a beginner.
• beginner-medium

  Less than two weeks of work for a beginner.
• best-practice

  Style fixes or refactor in the code base. Mark issues with this.
• blocked

  This issue or pull request is in progress, but dependent on another task being completed first.
• bug

  Something isn't working (correctness). Mark issues with this.
• class-project

  Code required for 15-445/645 projects.
• deferred

  This issue is documented here and someone might want to fix it later, but it takes no priority
• do-not-merge

  This PR is either not intended to merge, or did not pass review.
• duplicate

  This issue or pull request already exists
• feature

  Adds a requested feature.
• in-progress

  This PR is being actively worked on and not ready to be reviewed or merged. Mark PRs with this.
• infrastructure

  Infrastructure related issues or changes (CMake, dependencies, CI)
• invalid

  Spam or accidental PRs.
• merge-conflict

  This pull request has unresolved conflicts that prevent merging.
• no-reproducible

  Needs to be reproducible before getting further attention.
• performance

  Performance related issues or changes.
• question/discussion

  Further information is requested.
• ready-for-review

  This PR passes all checks and is ready to be reviewed. Mark PRs with this.
• ready-to-merge

  This PR is ready to be merged. Mark PRs with this.
• tests

  This issue or PR concerns the testing infrastructure: Google Test, Google Benchmark, JUnit, etc.
• wontfix

  This will not be worked on