Skip to content
This repository has been archived by the owner on Feb 4, 2020. It is now read-only.

Clean POM layout #4

Merged
merged 3 commits into from
Nov 15, 2017
Merged

Clean POM layout #4

merged 3 commits into from
Nov 15, 2017

Conversation

chrislemaire
Copy link
Collaborator

Description

This PR adds a bit of spacing to the POM file and, more importantly, this PR sets the java compiler versions to 1.8 properly.

Motivation and Context

I found the properties in the POM were not properly linked to the dependencies (including compiler level).

How Has This Been Tested?

mvn clean install has been run to confirm proper installation is possible. This included the tests. Also mvn site was run after this. Both runs succeeded.

Checklist:

  • Checkstyle warnings stayed the same/went down in this pull request.

!/.mvn/wrapper/maven-wrapper.jar
Copy link
Collaborator

Choose a reason for hiding this comment

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

Do we want to give students such an extensive .gitignore?

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Do you mean with the IDE files included?

Copy link
Collaborator

Choose a reason for hiding this comment

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

Yes

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

I personally believe it will mess up quite a few Git timelines if we don't add the ignore for IDE files now... But if you think it's too much, I'll remove it and they can use their Git skill to find it back :P

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

After a (real life) discussion, we have decided it is better to remove these changes and leave it to the students to find it back if they really want to.

@mjwsteenbergen mjwsteenbergen merged commit 227744e into master Nov 15, 2017
@mjwsteenbergen mjwsteenbergen deleted the clean-pom branch November 15, 2017 12:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants