From b0f8551c9a674a0a1e045b9a710800df28e72c10 Mon Sep 17 00:00:00 2001
From: Terence Parr <parrt@antlr.org>
Date: Mon, 21 Mar 2022 17:46:25 -0700
Subject: [PATCH] Use linux DCO not our old contributors certificate of origin

---
 .github/PULL_REQUEST_TEMPLATE.md                     | 12 +++++++++---
 ...tors.txt => historical-contributors-agreement.txt |  0
 2 files changed, 9 insertions(+), 3 deletions(-)
 rename contributors.txt => historical-contributors-agreement.txt (100%)

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
index 8ac81421f4..8abafef015 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -1,5 +1,11 @@
 <!--
-Thank you for proposing a contribution to the ANTLR project. In order to accept changes from the outside world, all contributors must "sign" the  [contributors.txt](https://github.com/antlr/antlr4/blob/master/contributors.txt) contributors certificate of origin. It's an unfortunate reality of today's fuzzy and bizarre world of open-source ownership.
+Thank you for proposing a contribution to the ANTLR project!
 
-Make sure you are already in the contributors.txt file or add a commit to this pull request with the appropriate change. Thanks!
--->
\ No newline at end of file
+As of 4.10, ANTLR uses the Linux Foundation's Developer
+Certificate of Origin, DCO, version 1.1. See either
+https://developercertificate.org/ or the
+developer-certificate-of-origin.txt file in the main directory.
+You have nothing to sign but be aware that this DCO is operative,
+even if you have signed the previous ANTLR contributor's
+certificate of origin.
+-->
diff --git a/contributors.txt b/historical-contributors-agreement.txt
similarity index 100%
rename from contributors.txt
rename to historical-contributors-agreement.txt