Merge branch 'main' into linux-implementation-1

.github/workflows/compare.yml

@@ -0,0 +1,37 @@
+name: Run compare.py and update README
+
+on:
+  push:
+    branches:
+      - '**' # This will trigger the workflow on any branch
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout repository content
+      uses: actions/checkout@v2
+
+    - name: Set up Python environment
+      uses: actions/setup-python@v2
+      with:
+        python-version: '3.x'
+
+    - name: Install dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install -r Tools/compare-requirements.txt # If you have dependencies
+
+    - name: Run Python script to update README
+      run: python Tools/compare.py # Update the script to edit README.md directly
+
+    - name: Commit and push changes
+      env:
+        GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      run: |
+        git config user.name "github-actions[bot]"
+        git config user.email "github-actions[bot]@users.noreply.github.com"
+        git add README.md
+        git commit -m "Update EDR scores table in README"
+        git push

.github/workflows/update-contributors.yml

@@ -0,0 +1,41 @@
+name: Update Contributors
+
+on:
+  pull_request:
+    types: [closed] # Trigger when a PR is closed
+
+jobs:
+  update-contributors:
+    if: github.event.pull_request.merged == true # Run only if the PR is merged
+    runs-on: ubuntu-latest
+
+    steps:
+      # Checkout the repository
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      # Set up Python
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.x'
+
+      # Install dependencies
+      - name: Install Python requests library
+        run: python -m pip install requests
+
+      # Run the script to fetch contributors and update README
+      - name: Fetch contributors and update README
+        run: |
+          python Tools/fetch_contributors.py
+
+      # Commit and push changes
+      - name: Commit and push changes
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git add README.md
+          git commit -m "Update contributors list after PR merge"
+          git push