Daily Updates #25
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Auto Merge PR | |
| on: | |
| pull_request: | |
| types: [opened, synchronize, reopened] | |
| jobs: | |
| strict-auto-merge: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # Step 1: Checkout the repository | |
| - name: Checkout Code | |
| uses: actions/checkout@v3 | |
| # Step 2: Debug fetch | |
| - name: Debug Fetch | |
| run: | | |
| echo "Remote branches:" | |
| git branch -r | |
| echo "Local branches:" | |
| git branch | |
| echo "Current HEAD:" | |
| git rev-parse HEAD | |
| echo "Remote HEAD for origin/main:" | |
| git ls-remote origin refs/heads/main | |
| # Step 3: Fetch the list of changed files in the PR | |
| - name: Get Changed Files | |
| run: | | |
| git fetch origin main | |
| # Attempt to find a common merge base | |
| if git merge-base origin/main HEAD >/dev/null 2>&1; then | |
| # There is a merge base; proceed with diff | |
| git diff --name-only origin/main...HEAD > changed_files.txt | |
| else | |
| # No merge base; fallback to diffing against the main branch directly | |
| git diff --name-only origin/main HEAD > changed_files.txt | |
| fi | |
| echo "Changed files:" | |
| cat changed_files.txt | |
| echo "::set-output name=files::$(cat changed_files.txt)" | |
| # Step 4: Validate Changed Files | |
| - name: Validate Changed Files | |
| id: validate-files | |
| run: | | |
| # Define the allowed files and patterns | |
| ALLOWED_PATTERNS="README.md|DailyPaper.md|summaries/[^/]+\.md|summaries/.*/[^/]+\.md" | |
| # Check if any file does not match the allowed patterns | |
| INVALID_FILES=$(grep -vE "${ALLOWED_PATTERNS}" changed_files.txt || true) | |
| if [ -n "$INVALID_FILES" ]; then | |
| echo "Invalid files found:" | |
| echo "$INVALID_FILES" | |
| echo "::set-output name=invalid::true" | |
| else | |
| echo "All files are valid." | |
| echo "::set-output name=invalid::false" | |
| fi | |
| # Step 5: Merge the PR if all files are valid | |
| - name: Merge Pull Request | |
| if: steps.validate-files.outputs.invalid == 'false' | |
| run: | | |
| gh pr merge ${{ github.event.pull_request.number }} --merge --delete-branch --admin | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.LLM_TOKEN }} | |
| # Step 6: Fail the workflow if invalid files are detected | |
| - name: Fail on Invalid Files | |
| if: steps.validate-files.outputs.invalid == 'true' | |
| run: | | |
| echo "The pull request contains files outside the allowed list." |