From cb02f831f6c68b650e1e96d8d67a407685ec4cd6 Mon Sep 17 00:00:00 2001 From: Ruslan Senatorov <55090151+ruslansenatorov@users.noreply.github.com> Date: Sun, 1 Dec 2024 06:28:21 +0300 Subject: [PATCH] Delete .github/workflows/directory_writer.yml Signed-off-by: Ruslan Senatorov <55090151+ruslansenatorov@users.noreply.github.com> --- .github/workflows/directory_writer.yml | 35 -------------------------- 1 file changed, 35 deletions(-) delete mode 100644 .github/workflows/directory_writer.yml diff --git a/.github/workflows/directory_writer.yml b/.github/workflows/directory_writer.yml deleted file mode 100644 index f0672ec8..00000000 --- a/.github/workflows/directory_writer.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: "SENATOROV" -permissions: - contents: write -on: [push] -jobs: - docs: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - with: - fetch-depth: 0 - - uses: actions/setup-python@v5 - with: - python-version: 3.x - - name: Set script executable permission - run: chmod +x scripts/build_directory_md.py - - name: Write DIRECTORY.md and README.md - run: | - scripts/build_directory_md.py 2>&1 | tee DIRECTORY.md - scripts/build_directory_md.py 2>&1 | tee README.md - git config --global user.name "$GITHUB_ACTOR" - git config --global user.email "$GITHUB_ACTOR@users.noreply.github.com" - git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY - - name: Commit changes - run: | - git add DIRECTORY.md README.md - git commit -m "SENATOROV updating DIRECTORY.md and README.md" || echo "No changes to commit" - - name: Create Pull Request - uses: peter-evans/create-pull-request@v4 - with: - token: ${{ secrets.GITHUB_TOKEN }} - title: "Update DIRECTORY.md and README.md" - body: "This PR updates the DIRECTORY.md and README.md files with the latest changes." - base: i-petr-git # Target branch (the one you're trying to update) - head: i-petr-git # The current commit (source branch)