Labels

• beginner

  Good for newcomers. Mark issues with this.
• 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

  This is part of the DB class (15-721)
• deferred

  This issue is documented here and someone might want to fix it later, but it takes no priority
• deferred-event
• 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.
• need-more-info

  This is an issue that requires more information before it can be assigned.
• needs-tests

  This PR is waiting on tests.
• performance

  Performance related issues or changes.
• project-idea
• question/discussion

  Further information is requested.
• ready-for-ci

  Indicate that this build should be run through CI.
• 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