cleanup workflow, upgrade actions to suppress warning (#11)

.github/workflows/main.yml

@@ -1,7 +1,8 @@
 on:
+  push:
   schedule:
    - cron: '0 2 * * *'
-  push:
+  workflow_dispatch:
 
 jobs:
   mathlib_stats:
@@ -11,7 +12,7 @@ jobs:
     steps:
 
     - name: Checkout scripts
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
 
     - name: Checkout mathlib
       run: git clone https://github.com/leanprover-community/mathlib
@@ -20,15 +21,15 @@ jobs:
       run: git clone https://github.com/leanprover-community/mathlib4
 
     - name: Checkout mathlib-mailmap
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
       with:
         # this repo is private to prevent spambots from scraping email addresses
         repository: leanprover-community/mathlib-mailmap
         token: ${{ secrets.MAILMAP_GITHUB_TOKEN }}
         path: mailmap
 
     - name: install Python
-      uses: actions/setup-python@v1
+      uses: actions/setup-python@v5
       with:
         python-version: 3.8
 
@@ -40,21 +41,10 @@ jobs:
         ./gitstats.py mathlib4 docs4
         cp docs4/gitstats.js docs/gitstats4.js
 
-    # - name: Install gnuplot
-    #   run: |
-    #     sudo apt-get update --fix-missing
-    #     sudo apt-get install gnuplot
-
-    # - name: Make nolints graph
-    #   run: |
-    #     bash nolint_graph.sh > nolint_graph_out.txt
-    #     cut -f2 -d: nolint_graph_out.txt > rev_stats.txt
-    #     gnuplot plot.gnu
-
     - name: push results
       # push results when we push to master
       if: github.repository == 'leanprover-community/mathlib_stats' && github.ref == 'refs/heads/master'
-      uses: EndBug/add-and-commit@v4
+      uses: EndBug/add-and-commit@v9
       with:
         add: 'docs'
         author_name: 'leanprover-community-bot'