Merge remote-tracking branch 'upstream/develop' into normal_entropy

Author: stdlib-bot

.editorconfig

@@ -121,7 +121,7 @@ indent_style = tab
 [*.{md,md.txt}]
 indent_style = space
 indent_size = 4
-trim_trailing_whitespace = false
+trim_trailing_whitespace = true # Note: this disables using two spaces to force a hard line break, which is permitted in Markdown. As we don't typically follow that practice (TMK), we should be safe to automatically trim.
 
 # Set properties for `usage.txt` files:
 [usage.txt]

.github/workflows/lint_changed_files.yml

@@ -39,7 +39,7 @@ permissions:
 jobs:
 
   # Define a job for linting committed code...
-  process:
+  lint:
 
     # Define a display name:
     name: 'Lint Changed Files'
@@ -104,7 +104,7 @@ jobs:
           files=$(echo "$files" | tr '\n' ' ' | sed 's/ $//')
           echo "files=${files}" >> $GITHUB_OUTPUT
 
-      # Lint file names
+      # Lint file names:
       - name: 'Lint file names'
         run: |
           # Determine root directory:
@@ -116,6 +116,12 @@ jobs:
           # Lint filenames:
           echo "${{ steps.changed-files.outputs.files }}" || "${lint_filenames}"
 
+      # Lint files against EditorConfig:
+      - name: 'Lint against EditorConfig'
+        if: success() || failure()
+        run: |
+          make lint-editorconfig-files FILES="${{ steps.changed-files.outputs.files }}"
+
       # Lint Markdown files:
       - name: 'Lint Markdown files'
         if: success() || failure()

.github/workflows/lint_random_files.yml

@@ -183,7 +183,7 @@ jobs:
 
           echo "files=$files" >> $GITHUB_OUTPUT
 
-      # Lint file names
+      # Lint file names:
       - name: 'Lint file names'
         run: |
           # Determine root directory:
@@ -195,6 +195,12 @@ jobs:
           # Lint filenames:
           echo "${{ steps.random-files.outputs.files }}" | tr ',' '\n' | "${lint_filenames}"
 
+      # Lint files against EditorConfig:
+      - name: 'Lint against EditorConfig'
+        run: |
+          files=$(echo "${{ steps.random-files.outputs.files }}" | tr ',' ' ')
+          make lint-editorconfig-files FILES="${files}"
+
       # Lint Markdown files:
       - name: 'Lint Markdown files'
         if: ( github.event.inputs.markdown != 'false' ) && ( success() || failure() )

.github/workflows/run_tests_coverage.yml

@@ -292,6 +292,9 @@ jobs:
             BRANCH_NAME="pr-${{ github.event.pull_request.number }}"
             git fetch origin $BRANCH_NAME || true
             git checkout $BRANCH_NAME || git checkout -b $BRANCH_NAME
+
+            # Remove all files from the branch:
+            git rm -rf .
           else
             BRANCH_NAME="main"
           fi

.mailmap

@@ -22,6 +22,8 @@ Aditya Sapra <[email protected]> adityacodes30
 
 Ahmed Atwa <[email protected]> NightKnight
 
+Ahmed Khaled <[email protected]> Khaldon
+
 Ahmed Kashkoush <[email protected]> <[email protected]>
 Ahmed Kashkoush <[email protected]> Ahmed_Kashkoush
 
@@ -86,6 +88,10 @@ Kaif Mohd <[email protected]>
 
 Karthik Prakash <[email protected]> skoriop
 
+# L
+
+Lovelin Dhoni J B <[email protected]> Lovelin
+
 # M
 
 Manvith M <[email protected]> Manvith
@@ -106,6 +112,8 @@ Muhammad Haris <[email protected]> headlessNode
 
 Naresh Jagadeesan <[email protected]> <[email protected]>
 
+Naveen Kumar <[email protected]> naveen
+
 Nishant Shinde <[email protected]> nishant-s7
 
 Nithin Katta <[email protected]> KATTA NAGA NITHIN
@@ -122,14 +130,14 @@ Philipp Burckhardt <[email protected]> Planeshifter
 Pranav Goswami <[email protected]> <[email protected]>
 Pranav Goswami <[email protected]> Pranav
 
-Praneki <[email protected]> PraneGIT
+Pranjal Jha <[email protected]> PraneGIT
 
-Pratik <[email protected]> Pratik772846
+Pratik Singh <[email protected]> Pratik772846
 
 Pratyush Kumar Chouhan <[email protected]> <[email protected]>
 Pratyush Kumar Chouhan <[email protected]> Pratyush
 
-Priyansh <[email protected]> itsspriyansh
+Priyansh Prajapati <[email protected]> itsspriyansh
 
 Priyanshu Agarwal <[email protected]> AgPriyanshu18
 
@@ -165,6 +173,8 @@ Sarthak Paandey <[email protected]> SarthakPaand
 Shashank Shekhar Singh <[email protected]> <[email protected]>
 Shashank Shekhar Singh <[email protected]> Shashankss1205
 
+Shivam Ahir <[email protected]> Shivam
+
 Shubham Mishra <[email protected]> <[email protected]>
 Shubham Mishra <[email protected]> shubham
 

CONTRIBUTORS

@@ -2,12 +2,14 @@
 #
 # Contributors listed in alphabetical order.
 
+Aadish Jain <[email protected]>
 Aayush Khanna <[email protected]>
 Abhijit Raut <[email protected]>
 Adarsh Palaskar <[email protected]>
 Aditya Sapra <[email protected]>
 Ahmed Atwa <[email protected]>
 Ahmed Kashkoush <[email protected]>
+Ahmed Khaled <[email protected]>
 Aleksandr <[email protected]>
 Ali Salesi <[email protected]>
 Aman Bhansali <[email protected]>
@@ -24,6 +26,7 @@ Dan Rose <[email protected]>
 Daniel Killenberger <[email protected]>
 Daniel Yu <[email protected]>
 Debashis Maharana <[email protected]>
+Divyansh Seth <[email protected]>
 Dominic Lim <[email protected]>
 Dominik Moritz <[email protected]>
 Dorrin Sotoudeh <[email protected]>
@@ -46,11 +49,10 @@ Jordan Gallivan <[email protected]>
 Joris Labie <[email protected]>
 Justin Dennison <[email protected]>
 Karthik Prakash <[email protected]>
-Khaldon <[email protected]>
 Kohantika Nath <[email protected]>
 Krishnendu Das <[email protected]>
 Kshitij-Dale <[email protected]>
-Lovelin <[email protected]>
+Lovelin Dhoni J B <[email protected]>
 Manik Sharma <[email protected]>
 Manvith M <[email protected]>
 Marcus Fantham <[email protected]>
@@ -61,6 +63,7 @@ Mohammad Kaif <[email protected]>
 Momtchil Momtchev <[email protected]>
 Muhammad Haris <[email protected]>
 Naresh Jagadeesan <[email protected]>
+Naveen Kumar <[email protected]>
 Neeraj Pathak <[email protected]>
 Nishant Shinde <[email protected]>
 Nithin Katta <[email protected]>
@@ -71,10 +74,10 @@ Ori Miles <[email protected]>
 Philipp Burckhardt <[email protected]>
 Prajwal Kulkarni <[email protected]>
 Pranav Goswami <[email protected]>
-Praneki <[email protected]>
-Pratik <[email protected]>
+Pranjal Jha <[email protected]>
+Pratik Singh <[email protected]>
 Pratyush Kumar Chouhan <[email protected]>
-Priyansh <[email protected]>
+Priyansh Prajapati <[email protected]>
 Priyanshu Agarwal <[email protected]>
 Pushpendra Chandravanshi <[email protected]>
 Raunak Kumar Gupta <[email protected]>
@@ -93,7 +96,7 @@ Sarthak Paandey <[email protected]>
 Saurabh Singh <[email protected]>
 Seyyed Parsa Neshaei <[email protected]>
 Shashank Shekhar Singh <[email protected]>
-Shivam <[email protected]>
+Shivam Ahir <[email protected]>
 Shraddheya Shendre <[email protected]>
 Shubh Mehta <[email protected]>
 Shubham Mishra <[email protected]>
@@ -116,7 +119,6 @@ Vivek maurya <[email protected]>
 Xiaochuan Ye <[email protected]>
 Yaswanth Kosuru <[email protected]>
 Yernar Yergaziyev <[email protected]>
-naveen <[email protected]>
 olenkabilonizhka <[email protected]>
 rainn <[email protected]>
 rei2hu <[email protected]>

etc/editorconfig-checker/.editorconfig_checker.json

@@ -0,0 +1,31 @@
+{
+  "Verbose": false,
+  "Debug": false,
+  "IgnoreDefaults": true,
+  "SpacesAfterTabs": false,
+  "NoColor": false,
+  "Exclude": [
+    "\\.csv$",
+    "\\.csv\\.txt$",
+    "\\/data\\/",
+    "data\\/",
+    "\\.html$",
+    "\\.html\\.txt$",
+    "\\.md$",
+    "\\.md\\.txt$",
+    "\\.svg$",
+    "\\.svg\\.txt$",
+    "\\.xml$",
+    "\\.xml\\.txt$"
+  ],
+  "AllowedContentTypes": [],
+  "PassedFiles": [],
+  "Disable": {
+    "EndOfLine": false,
+    "Indentation": false,
+    "IndentSize": false,
+    "InsertFinalNewline": false,
+    "TrimTrailingWhitespace": false,
+    "MaxLineLength": false
+  }
+}

etc/editorconfig-checker/.editorconfig_checker.markdown.json

@@ -0,0 +1,20 @@
+{
+  "Verbose": false,
+  "Debug": false,
+  "IgnoreDefaults": true,
+  "SpacesAfterTabs": false,
+  "NoColor": false,
+  "Exclude": [
+    "\\.*[^d]$"
+  ],
+  "AllowedContentTypes": [],
+  "PassedFiles": [],
+  "Disable": {
+    "EndOfLine": false,
+    "Indentation": false,
+    "IndentSize": true,
+    "InsertFinalNewline": false,
+    "TrimTrailingWhitespace": false,
+    "MaxLineLength": false
+  }
+}

etc/editorconfig-checker/README.md

@@ -0,0 +1,51 @@
+<!--
+
+@license Apache-2.0
+
+Copyright (c) 2024 The Stdlib Authors.
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+   http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+
+-->
+
+# editorconfig-checker
+
+> [editorconfig-checker][editorconfig-checker] configuration.
+
+<!-- Section to include introductory text. Make sure to keep an empty line after the intro `section` element and another before the `/section` close. -->
+
+<section class="intro">
+
+This directory contains [editorconfig-checker][editorconfig-checker] configuration files.
+
+</section>
+
+<!-- /.intro -->
+
+<!-- Section to include notes. Make sure to keep an empty line after the `section` element and another before the `/section` close. -->
+
+<section class="notes">
+
+</section>
+
+<!-- /.notes -->
+
+<!-- Section for all links. Make sure to keep an empty line after the `section` element and another before the `/section` close. -->
+
+<section class="links">
+
+[editorconfig-checker]: https://github.com/editorconfig-checker/editorconfig-checker
+
+</section>
+
+<!-- /.links -->