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

Free command #64

Merged
merged 6 commits into from Oct 28, 2018
Merged

Free command #64

merged 6 commits into from Oct 28, 2018

Conversation

nianfei97
Copy link

@nianfei97 nianfei97 commented Oct 26, 2018

Note:
Integration with select command is scrapped due to time constraints. To use free, users must input free [INDICES].

@nianfei97 nianfei97 added type.story A user story status.ongoing The pull request is being worked on and should not be merged yet priority.high Must do labels Oct 26, 2018
@nianfei97 nianfei97 added this to the v1.3 milestone Oct 26, 2018
@nianfei97 nianfei97 added status.complete The pull request is ready to be merged and removed status.ongoing The pull request is being worked on and should not be merged yet labels Oct 27, 2018
}

@Test
public void equals() {
Copy link
Collaborator

Choose a reason for hiding this comment

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

I think having many small individual test is better than having one big test, do lookup @before and @BeforeClass if your small tests requires certain setup

Copy link
Author

Choose a reason for hiding this comment

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

Fair point, but I basically just copied the equals test from the other commands like EditCommandTest lol

@nianfei97
Copy link
Author

Closes #26

@nianfei97 nianfei97 added status.ongoing The pull request is being worked on and should not be merged yet and removed status.complete The pull request is ready to be merged labels Oct 28, 2018
@nianfei97
Copy link
Author

Back to ongoing while I integrate with the new Me panel

@nianfei97 nianfei97 added status.complete The pull request is ready to be merged and removed status.ongoing The pull request is being worked on and should not be merged yet labels Oct 28, 2018
@nianfei97
Copy link
Author

Ready to merge

@bennchong
Copy link
Collaborator

Looks good

@bennchong bennchong self-requested a review October 28, 2018 15:31
@bennchong bennchong merged commit 72ba2fc into CS2113-AY1819S1-W13-1:master Oct 28, 2018
@nianfei97 nianfei97 deleted the v1.3 branch November 6, 2018 15:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
priority.high Must do status.complete The pull request is ready to be merged type.story A user story
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants