Add commit and push after sorting

Co-authored-by: Jelle Treep <[email protected]>

.github/workflows/sort_readme.yml

@@ -17,3 +17,17 @@ jobs:
       - name: sort readme # run the run.py to get the latest data
         run: |
           python sort.py
+          
+       - name: Commit files
+         run: |
+           git config --local user.email "[email protected]"
+           git config --local user.name "GitHub Utrecht University"
+           git add .
+           git commit -m "sort README"
+        continue-on-error: true
+      - name: Push changes
+        uses: ad-m/github-push-action@master
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+        continue-on-error: true
+