Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Pre-commit hook modifications. Fixes #632#633

Merged
rjyounes merged 6 commits into
developfrom
bugfix/precommit_hook_fix
Mar 15, 2022
Merged

Pre-commit hook modifications. Fixes #632#633
rjyounes merged 6 commits into
developfrom
bugfix/precommit_hook_fix

Conversation

@rjyounes
Copy link
Copy Markdown
Collaborator

@rjyounes rjyounes commented Mar 3, 2022

Includes the following changes:

  • Enforce the use of the rdf-toolkit.jar in the gist tools directory
  • Add a note to the style guide to this effect
  • Fix code that checks for minimum Java version (which is now 11, not 7)

@rjyounes rjyounes requested a review from marksem March 3, 2022 16:25
@rjyounes rjyounes self-assigned this Mar 4, 2022
@marksem
Copy link
Copy Markdown
Collaborator

marksem commented Mar 4, 2022

Hi Rebecca, I see 6 commits as part of this. Have you considered squashing these into fewer/1 since they really all seem related to the issue of fixing the pre-commit hook?

@rjyounes rjyounes merged commit 9f190a6 into develop Mar 15, 2022
@rjyounes rjyounes deleted the bugfix/precommit_hook_fix branch March 15, 2022 15:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants