Rename copyright.txt to AUTHORS.txt

to be consistent

Author: marko-bekhta

.github/hibernate-github-bot.yml

@@ -23,7 +23,7 @@ jira:
     - "*.Jenkinsfile"
     - "*.sh"
     # In-repo documentation
-    - "copyright.txt"
+    - "AUTHORS.txt"
     - "README.md"
     - "MAINTAINERS.md"
     - "CONTRIBUTING.md"

copyright.txt renamed to AUTHORS.txt

@@ -1,3 +1,13 @@
+# This file lists copyright owners of the project.
+# The list is not exhaustive: other copyright owners exist.
+# See CONTRIBUTING.md for instructions regarding how to be added to this list.
+
+# Corporate contributors
+
+Red Hat, Inc.
+
+# Individual contributors
+
 Adam Stawicki
 Ahmed Al Hafoudh
 Alaa Nassef

CONTRIBUTING.md

@@ -17,6 +17,12 @@ in the root directory of the repository.
 All contributions are subject to the [Developer Certificate of Origin (DCO)](https://developercertificate.org/).
 The DCO text is also included verbatim in the [dco.txt](dco.txt) file in the root directory of the repository.
 
+Copyright owners are listed in [AUTHORS.txt](AUTHORS.txt).
+Contributors with a valid copyright claim can request to be added to that list
+by sending a pull request to the project's GitHub repository,
+listing at least one relevant contribution in the pull request description.
+Note: one-liner or repetitive patches may not be sufficient to claim copyright.
+
 ## Finding something to contribute
 
 Our [JIRA instance](https://hibernate.atlassian.net/browse/HV) is where all tasks are reported and tracked.

distribution/src/main/assembly/dist.xml

@@ -62,7 +62,7 @@
 			<outputDirectory>/</outputDirectory>
 		</file>
 		<file>
-			<source>../copyright.txt</source>
+			<source>../AUTHORS.txt</source>
 			<outputDirectory>/</outputDirectory>
 		</file>
 		<file>
@@ -82,7 +82,7 @@
 				<exclude>README.md</exclude>
 				<exclude>CONTRIBUTING.md</exclude>
 				<exclude>changelog.txt</exclude>
-				<exclude>copyright.txt</exclude>
+				<exclude>AUTHORS.txt</exclude>
 				<exclude>license.txt</exclude>
 
 				<!-- only needed for documentation and helper scripts, no need to include them -->

src/main/scripts/gencopyright.sh

@@ -2,11 +2,11 @@
 
 # gencopyright.sh
 #
-# Generates the copyright.txt file mentioned in the license header
+# Generates the AUTHORS.txt file mentioned in the license header
 
 SCRIPT_PATH=$(dirname $0)
 ROOT_PATH="$SCRIPT_PATH/../../../"
-COPYRIGHT_FILE_NAME="copyright.txt"
+COPYRIGHT_FILE_NAME="AUTHORS.txt"
 
 JAVADOC_AUTHORS=$(grep '@author [^<]*' -ho -r --include="*.java" $ROOT_PATH | sed 's/@author//;s/^[[:space:]]*//;s/[[:space:]]*$//;s/"\r"//')
 GIT_AUTHORS=$(git log --pretty=format:"%an")