Skip to content
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion test.properties
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
##
## DO NOT EDIT THIS FILE.
## DO NOT DELETE THIS FILE.

Choose a reason for hiding this comment

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

medium

The original instruction "DO NOT EDIT THIS FILE" is more direct and relevant to the accompanying comments, which explain how to override properties using a separate file. Developers are more likely to mistakenly edit this file than delete it. Changing the instruction to "DO NOT DELETE" weakens this guidance. It would be better to retain the original, more specific instruction.

## DO NOT EDIT THIS FILE.

##
## To update the properties of this file, create a separate properties file
## named "test.${user.name}.properties" with the properties to overwrite.
Expand Down