Merge branch 'master' into TB_add_check_to_InstallTrueMethod

.clang-format

@@ -3,7 +3,7 @@
 # of the GAP kernel.
 #
 # For information on the settings in this file, please consult
-# <http://clang.llvm.org/docs/ClangFormatStyleOptions.html>
+# <https://clang.llvm.org/docs/ClangFormatStyleOptions.html>
 # See also <https://clangformat.com/>
 
 AlignConsecutiveDeclarations: true
@@ -23,6 +23,6 @@ MaxEmptyLinesToKeep: 2
 PointerBindsToType: Middle
 SpacesBeforeTrailingComments: 4
 UseTab: Never
-SortIncludes: false
+SortIncludes: true
 
 AlwaysBreakTemplateDeclarations: true

.codecov.yml

@@ -4,16 +4,21 @@ coverage:
   range: "70...100"
 
   status:
-    project: no
-    patch: no
-    changes: no
+    project:
+      default:
+        informational: true
+    patch:
+      default:
+        informational: true
+    changes:
+      default:
+        informational: true
 
-comment:
-  layout: "header, diff, changes, tree"
-  behavior: default
+comment: false
 
 ignore:
  - "extern"
  - "hpcgap/extern"
  - "tst"
  - "pkg"
+ - "grp/*.grp"

.ctags

@@ -1 +1 @@
-dev/ctags_for_gap
+etc/ctags_for_gap

.editorconfig

@@ -1,4 +1,4 @@
-# See http://EditorConfig.org
+# See https://EditorConfig.org
 
 # This is the top-most EditorConfig file
 root = true

.gaplint.yml

@@ -0,0 +1,34 @@
+disable:
+- W000
+- W001
+- W002
+- W003
+- W004
+- W005
+- W006
+- W008
+- W009
+- W010
+- W011
+- W012
+- W013
+- W014
+- W015
+- W016
+- W017
+- W018
+- W019
+- W020
+- W021
+- W022
+- W023
+- W024
+- W025
+- W026
+- W027
+- W028
+- W029
+- W030
+- W031
+- W032
+- W033

.git-blame-ignore-revs

@@ -0,0 +1,22 @@
+# Since version 2.23 (released in August 2019), git-blame has a feature
+# to ignore or bypass certain commits.
+#
+# This file contains a list of commits that are not likely what you
+# are looking for in a blame, such as mass reformatting or renaming.
+# You can set this file as a default ignore file for blame by running
+# the following command.
+#
+# $ git config blame.ignoreRevsFile .git-blame-ignore-revs
+
+# PR #5268: Remove trailing whitespace from all files in lib
+ce30db3d220c563d6debdba2d63ba31cebd959dc
+
+# Remove more trailing whitespace
+f3e803853f9095d6d642c78e80d8178a69960616
+
+# Remove tabs
+2e0d1a146ca032cd2608e898e8c4e64a71aa6556
+86bc34d95252567d3381d59fb67edf1c5c3b02c1
+
+# PR #5271: convert many C comments to C++ comments
+035f52e69462195abe83900ecd7a409404fcbc23

.gitattributes

@@ -0,0 +1 @@
+* text=auto eol=lf

.github/ISSUE_TEMPLATE.md → .github/issue_template.md

@@ -1,5 +1,5 @@
 Please use the following template to submit an issue
-(you may delete lines which are not used). Thank You!
+(you may delete lines which are not used). Thank you!
 
 ### Observed behaviour
 

.github/no-response.yml

@@ -0,0 +1,13 @@
+# Configuration for probot-no-response - https://github.com/probot/no-response
+
+# Number of days of inactivity before an Issue is closed for lack of response
+daysUntilClose: 14
+# Label requiring a response
+responseRequiredLabel: "status: awaiting response"
+# Comment to post when closing an Issue for lack of response. Set to `false` to disable
+closeComment: >
+  This issue has been automatically closed because there has been no response
+  to our request for more information from the original author. With only the
+  information that is currently in the issue, we don't have enough information
+  to take action. Please reach out if you have or find the answers we need so
+  that we can investigate further.

.github/pull_request_template.md

@@ -0,0 +1,13 @@
+Please provide a short summary of this PR and its purpose here. E.g., does it add a new feature, and which? Does it fix a bug, and which? If there is an associated issue, please list it here.
+
+## Text for release notes
+
+We track noteworthy changes as entries in the `CHANGES.md` file in the root directory of this repository. To help us decide whether and how to describe your PR, please do one of the following:
+
+1. If this PR shall **not** be mentioned in the release notes, write "none" here.
+2. If a brief note suffices, edit the title of this PR to be usable as entry in `CHANGES.md`, and write "see title" here (or if you have the required permissions, add the label `release notes: use title` to this PR and remove this section)
+3. If a longer note is needed, just write it here, ideally following the general style used in that file
+
+## Further details
+
+If necessary, provide further details down here.