update_leaderboard.yml

name: Update Leaderboard

on:
  pull_request:
    types: [closed]

jobs:
  update-leaderboard:
    runs-on: ubuntu-latest
    
    steps:
      
      - name: Checkout repository
        uses: actions/checkout@v3
        with:
          token: ${{ secrets.GITHUB_TOKEN }}  
        
      
      - name: Set up Python
        uses: actions/setup-python@v4
        with:
          python-version: '3.x'
        
      - name: Install dependencies
        run: |
          python -m pip install --upgrade pip
          pip install requests PyGithub
      
      - name: Run leaderboard update script
        run: |
          python .github/scripts/update_leaderboard.py
        env:
          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}  # Pass GitHub token to script
          GITHUB_REPOSITORY: ${{ github.repository }}  # Pass repository information

      - name: Commit and push changes
        run: |
          git config --global user.name "github-actions[bot]"
          git config --global user.email "github-actions[bot]@users.noreply.github.com"
          git add leaderboard.md || echo "No changes to commit"  # Prevent errors if there's nothing to commit
          git commit -m "Update leaderboard" || echo "No changes to commit"
          git push https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} || echo "Nothing to push"