Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix DG errors and some code quality #251

Merged
merged 19 commits into from
Oct 23, 2020

Conversation

seanjyjy
Copy link

Pr Overview

  • Fix some code quality by introducing nullity checks
  • Fix naming of method names and javadocs
  • Update InternHunter version to v1.2 (to be changed to v1.2.1 on 24th and v1.3 on 27th)
  • Fix ref naming issue to become handle delete switch index
  • Fix return arrows to be the dash
  • Fix appendix formatting (have to double-check with the HTML file to be certain)

@seanjyjy seanjyjy added this to the v1.3 milestone Oct 22, 2020
@seanjyjy seanjyjy requested review from shawn-nyk and a team October 22, 2020 17:42
@seanjyjy seanjyjy self-assigned this Oct 22, 2020
@seanjyjy seanjyjy changed the title Code quality Fix DG errors and some code quality Oct 22, 2020
@keanecjy keanecjy linked an issue Oct 23, 2020 that may be closed by this pull request
Copy link

@shawn-nyk shawn-nyk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good work! LGTM

@shawn-nyk shawn-nyk merged commit 3972234 into AY2021S1-CS2103T-T15-4:master Oct 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants