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 "not sure what command" box hyperlinks #201

Merged
merged 8 commits into from
Nov 13, 2023

Conversation

ravern
Copy link

@ravern ravern commented Nov 13, 2023

Closes #119, closes #126, closes #120, closes #115.

@ravern ravern marked this pull request as ready for review November 13, 2023 01:33
Copy link

codecov bot commented Nov 13, 2023

Codecov Report

Merging #201 (e8eb4d4) into master (3cfad87) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master     #201   +/-   ##
=========================================
  Coverage     74.04%   74.04%           
  Complexity      661      661           
=========================================
  Files           107      107           
  Lines          2366     2366           
  Branches        245      245           
=========================================
  Hits           1752     1752           
  Misses          529      529           
  Partials         85       85           

@ravern ravern requested a review from a team November 13, 2023 02:51
@ravern ravern added this to the v1.4 milestone Nov 13, 2023
Copy link

@nabonitasen nabonitasen left a comment

Choose a reason for hiding this comment

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

LGTM!

@ravern ravern merged commit fcb652c into AY2324S1-CS2103T-W10-1:master Nov 13, 2023
5 checks passed
@ravern ravern deleted the issue-clean-up branch November 13, 2023 07:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants