From a4b83c59764a4b19a1b7e992a512fd35bf93e7cd Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Sat, 22 May 2021 11:05:09 -0500 Subject: [PATCH] rename AUTHORS to AUTHORS.md --- release-tasks | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/release-tasks b/release-tasks index 7c72115..77249d5 100644 --- a/release-tasks +++ b/release-tasks @@ -334,19 +334,19 @@ Best [ pull request ] -7/ Create an AUTHORS file in the top-level directory of the branch that +7/ Create an AUTHORS.md file in the top-level directory of the branch that contains a text-only copy of the authors.html file from the website. You can start from lynx -dump -nolist https://www.dealii.org/authors.html >AUTHORS and format it like this: https://github.com/dealii/dealii/blob/dealii-9.0/AUTHORS - Update LICENSE to point to the AUTHORS file: + Update LICENSE.md to point to the AUTHORS.md file: - "[...] refers to the people listed in the file AUTHORS." + "[...] refers to the people listed in the file AUTHORS.md." - git add AUTHORS - git commit -a -m "update AUTHORS" + git add AUTHORS.md + git commit -a -m "update AUTHORS.md" git push origin dealii-9.0 -- 2.39.5