Merge branch 'gh-pages' into gh-pages

.github/workflows/commit_validation.yml

@@ -1,10 +1,10 @@
 name: Commit Validation
 
 on:
-  push:
-
   pull_request:
 
+permissions: read-all
+
 jobs:
   commit_validation:
     runs-on: ubuntu-latest
@@ -37,4 +37,18 @@ jobs:
         run: |
           pip install -r requirements.txt
           python validate_commit.py $DIFF
-          
+
+  upload:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Save PR number
+        env:
+          PR_NUMBER: ${{ github.event.number }}
+        run: |
+          mkdir -p ./pr
+          echo $PR_NUMBER > ./pr/pr_number.txt
+      - uses: actions/upload-artifact@v4
+        with:
+          name: pr_number.txt
+          path: pr/

.github/workflows/handle_validation_result.yml

@@ -0,0 +1,72 @@
+name: Handle Validation Result
+
+on:
+  workflow_run:
+    workflows: ["Commit Validation"]
+    types: [completed]
+
+permissions:
+  actions: read
+  contents: read
+  issues: write
+  pull-requests: write
+  # needed because gh cli fetches unnecessary extra data
+  repository-projects: read
+
+jobs:
+  handle-validation-result:
+    runs-on: ubuntu-latest
+    steps:
+      - name: 'Download PR number artifact'
+        uses: actions/github-script@v6
+        with:
+          script: |
+            let allArtifacts = await github.rest.actions.listWorkflowRunArtifacts({
+               owner: context.repo.owner,
+               repo: context.repo.repo,
+               run_id: context.payload.workflow_run.id,
+            });
+            let matchArtifact = allArtifacts.data.artifacts.filter((artifact) => {
+              return artifact.name == "pr_number.txt"
+            })[0];
+            let download = await github.rest.actions.downloadArtifact({
+               owner: context.repo.owner,
+               repo: context.repo.repo,
+               artifact_id: matchArtifact.id,
+               archive_format: 'zip',
+            });
+            let fs = require('fs');
+            fs.writeFileSync(`${process.env.GITHUB_WORKSPACE}/pr_number.zip`, Buffer.from(download.data));
+
+      - name: 'Unzip artifact'
+        run: unzip pr_number.zip
+
+      - name: Mark unstale if success
+        if: ${{ github.event.workflow_run.conclusion == 'success' }}
+        run: |
+          export PR_NUMBER=$(cat pr_number.txt)
+          echo "In repo $GH_REPO on PR $PR_NUMBER"
+
+          if gh pr view -R"$GH_REPO" "$PR_NUMBER" --json labels | grep stale ; then
+            echo "No longer stale"
+            gh pr edit -R"$GH_REPO" "$PR_NUMBER" --remove-label stale
+            gh pr comment -R"$GH_REPO" "$PR_NUMBER" --body 'The validity checks are now passing. Thank you.'
+          else
+            echo "Was already not stale"
+          fi
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GH_REPO: ${{ github.event.repository.full_name }}
+
+      - name: Make comment and mark stale if failed
+        if: ${{ github.event.workflow_run.conclusion == 'failure' }}
+        run: |
+          export PR_NUMBER=$(cat pr_number.txt)
+          echo "In repo $GH_REPO on PR $PR_NUMBER"
+
+          echo "Mark as stale"
+          gh pr edit -R"$GH_REPO" "$PR_NUMBER" --add-label stale
+          gh pr comment -R"$GH_REPO" "$PR_NUMBER" --body 'The validity checks failed. Please look at the logs (click the red X) and correct the errors. Your PR will be closed automatically in 2 days if not fixed.'
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GH_REPO: ${{ github.event.repository.full_name }}

.github/workflows/stale.yml

@@ -0,0 +1,26 @@
+name: 'Close stale PRs'
+
+on:
+  workflow_dispatch:
+
+  schedule:
+    - cron: '30 1 * * *'
+
+permissions:
+  contents: read
+  issues: write
+  pull-requests: write
+
+jobs:
+  stale:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/stale@v9
+        with:
+          stale-pr-label: 'stale'
+          stale-pr-message: 'This PR is stale because it has been open for 90 days with no activity. It will be closed in 2 days if there is no further activity.'
+          close-pr-message: 'This PR is being closed due to inactivity.'
+          days-before-pr-stale: 90
+          days-before-pr-close: 2
+          days-before-issue-stale: -1
+          days-before-issue-close: -1

acm-fellows.csv

@@ -1124,7 +1124,7 @@ Mario Gerla,2018
 Matthew Roughan,2018
 Michael L. Littman,2018
 Minos Garofalakis,2018
-MohammadTaghi Hajiaghayi,2018
+Mohammad Hajiaghayi,2018
 N. Asokan,2018
 Peter L. Bartlett,2018
 Premkumar T. Devanbu,2018
@@ -1357,7 +1357,7 @@ Thomas Zimmermann,2021
 Tie-Yan Liu,2021
 Toby Walsh,2021
 Volker Markl,2021
-Wang Yi,2021
+Wang Yi 0001,2021
 Wei Wang,2021
 Wenping Wang,2021
 Whitfield Diffie,2021

country-info.csv

@@ -7,6 +7,7 @@ Aberystwyth University,europe,uk
 American University in Cairo,africa,eg
 American University of Beirut,asia,lb
 Ariel University,europe,il
+Ashoka University,asia,in
 Australian National University,australasia,au
 BITS Pilani,asia,in
 BITS Pilani-Goa,asia,in
@@ -86,14 +87,18 @@ Heriot-Watt University,europe,uk
 Hong Kong Baptist University,asia,hk
 Humboldt University of Berlin,europe,de
 Hunan University,asia,cn
+IGDTUW,asia,in
 IIIT Bangalore,asia,in
 IIIT Delhi,asia,in
 IIIT Hyderabad,asia,in
 IISc Bangalore,asia,in
 IIT (BHU) Varanasi,asia,in
+IIT (ISM) Dhanbad,asia,in
+IIT Bhilai,asia,in
 IIT Bhubaneswar,asia,in
 IIT Bombay,asia,in
 IIT Delhi,asia,in
+IIT Dharwad,asia,in
 IIT Gandhinagar,asia,in
 IIT Goa,asia,in
 IIT Guwahati,asia,in
@@ -105,9 +110,11 @@ IIT Kanpur,asia,in
 IIT Kharagpur,asia,in
 IIT Madras,asia,in
 IIT Mandi,asia,in
+IIT Palakkad,asia,in
 IIT Patna,asia,in
 IIT Roorkee,asia,in
 IIT Ropar,asia,in
+IIT Tirupati,asia,in
 IMDEA Networks Institute,europe,es
 IMDEA Software Institute,europe,es
 IMSc,asia,in
@@ -127,6 +134,7 @@ Jacobs University Bremen,europe,de
 Jadavpur University,asia,in
 KAIST,asia,kr
 KAUST,asia,sa
+KIIT Bhubaneswar,asia,in
 KMUTNB,asia,th
 KTH Royal Institute of Technology,europe,se
 KU Leuven,europe,be
@@ -148,8 +156,10 @@ Leiden University,europe,nl
 Loughborough University,europe,uk
 Lund University,europe,se
 MBZUAI,asia,ae
+MUST,asia,mo
 Maastricht University,europe,nl
 Macquarie University,australasia,au
+Malmö University,europe,se
 Masaryk University,europe,cz
 Masdar Institute,asia,ae
 Massey University,australasia,nz
@@ -181,6 +191,7 @@ National Taiwan University,asia,tw
 National Tsing Hua University,asia,tw
 National University of Singapore,asia,sg
 Newcastle University,europe,uk
+Northwest University,asia,cn
 Ontario Tech University,canada,ca
 Open University UK,europe,uk
 Osaka University,asia,jp
@@ -190,6 +201,7 @@ PUC-RIO,southamerica,br
 PUC-RS,southamerica,br
 Paderborn University,europe,de
 Peking University,asia,cn
+Plaksha University,asia,in
 Politecnico di Milano,europe,it
 Polytechnic University of Catalonia,europe,es
 Polytechnique Montreal,canada,ca
@@ -203,6 +215,7 @@ Queen’s University,canada,ca
 RMIT University,australasia,au
 RWTH Aachen University,europe,de
 Radboud University,europe,nl
+Ravenshaw University,asia,in
 Renmin University of China,asia,cn
 Royal Holloway University of London,europe,uk
 Royal Military College of Canada,canada,ca
@@ -220,6 +233,8 @@ Shanghai Jiao Tong University,asia,cn
 ShanghaiTech University,asia,cn
 Sharif University of Technology,asia,ir
 Shenzhen University,asia,cn
+Shiv Nadar University,asia,in
+Sichuan University,asia,cn
 Simon Fraser University,canada,ca
 Simula UiB,europe,no
 Singapore Management University,asia,sg
@@ -228,6 +243,7 @@ South Asian University,asia,in
 Stellenbosch University,africa,za
 Sun Yat-sen University,asia,cn
 Sungkyunkwan University,asia,kr
+THWS,europe,de
 TOBB ETÜ,europe,tr
 TU Berlin,europe,de
 TU Braunschweig,europe,de
@@ -260,6 +276,7 @@ Toronto Metropolitan University,canada,ca
 Trinity College Dublin,europe,ie
 Tsinghua University,asia,cn
 UESTC,asia,cn
+UFC,southamerica,br
 UFF,southamerica,br
 UFMG,southamerica,br
 UFMS,southamerica,br
@@ -290,10 +307,12 @@ University of Aberdeen,europe,uk
 University of Adelaide,australasia,au
 University of Alberta,canada,ca
 University of Amsterdam,europe,nl
+University of Antwerp,europe,be
 University of Athens,europe,gr
 University of Auckland,australasia,nz
 University of Augsburg,europe,de
 University of Bamberg,europe,de
+University of Basel,europe,ch
 University of Bath,europe,uk
 University of Bayreuth,europe,de
 University of Bergen,europe,no
@@ -312,6 +331,7 @@ University of Catania,europe,it
 University of Cologne,europe,de
 University of Copenhagen,europe,dk
 University of Crete,europe,gr
+University of Delhi,asia,in
 University of Duisburg-Essen,europe,de
 University of Dundee,europe,uk
 University of Düsseldorf,europe,de
@@ -320,6 +340,7 @@ University of Erlangen–Nuremberg,europe,de
 University of Essex,europe,uk
 University of Exeter,europe,uk
 University of Freiburg,europe,de
+University of Fribourg,europe,ch
 University of Glasgow,europe,uk
 University of Groningen,europe,nl
 University of Guelph,canada,ca
@@ -427,16 +448,19 @@ Université libre de Bruxelles,europe,be
 Uppsala University,europe,se
 Utrecht University,europe,nl
 VISTEC,asia,th
+VNIT Nagpur,asia,in
 VU Amsterdam,europe,nl
 Victoria University of Wellington,australasia,nz
 Waseda University,asia,jp
 Weizmann Institute of Science,europe,il
+Western Sydney University,australasia,au
 Western University,canada,ca
 Westlake University,asia,cn
 Wuhan University,asia,cn
 Xi'an Jiaotong University,asia,cn
 Xiamen University,asia,cn
 Xidian University,asia,cn
+Yangzhou University,asia,cn
 Yonsei University,asia,kr
 York University,canada,ca
 Yıldız Technical University,europe,tr