Update Source Headers #3813
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: Add Source Header | |
| on: | |
| push: | |
| paths: | |
| - '**/*.rs' | |
| pull_request: | |
| paths: | |
| - '**/*.rs' | |
| workflow_dispatch: | |
| jobs: | |
| add-source-header: | |
| if: | | |
| github.event_name == 'workflow_dispatch' || | |
| (github.actor != 'github-actions[bot]' && | |
| github.actor != 'bythelindemans-actions-bot') | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| issues: write | |
| steps: | |
| - name: Generate GitHub App Token | |
| id: generate_token | |
| uses: tibdex/github-app-token@v1 | |
| with: | |
| app_id: ${{ vars.BTL_ACTIONS_BOT_APP_ID }} | |
| private_key: ${{ secrets.BTL_ACTIONS_BOT_PRIVATE_KEY }} | |
| - name: Checkout code | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| token: ${{ steps.generate_token.outputs.token }} | |
| - name: Install Python (for running script) | |
| uses: actions/setup-python@v2 | |
| with: | |
| python-version: 3.x | |
| - name: Append Source Header to Files | |
| run: | | |
| # Define the source header template and comment prefix | |
| SOURCE_HEADER=$(cat source-header.txt) | |
| COMMENT_PREFIX="// " | |
| # Remove trailing whitespace from the source header | |
| SOURCE_HEADER=$(echo "$SOURCE_HEADER" | sed 's/[ \t]*$//g') | |
| # Comment out the source header | |
| SOURCE_HEADER_COMMENTED=$(echo "$SOURCE_HEADER" | sed "s|^|$COMMENT_PREFIX|") | |
| # Loop through all Rust source files | |
| for FILE in $(find . -name '*.rs'); do | |
| # Remove existing header (assume it's the first commented block) | |
| sed -i '/^\/\/ /d' "$FILE" | |
| # Prepend the new source header | |
| echo "$SOURCE_HEADER_COMMENTED" | cat - "$FILE" > temp && mv temp "$FILE" | |
| done | |
| - name: Check if any files were modified | |
| id: changes | |
| run: | | |
| if [ -n "$(git status --porcelain)" ]; then | |
| echo "changes=true" >> $GITHUB_OUTPUT | |
| else | |
| echo "changes=false" >> $GITHUB_OUTPUT | |
| fi | |
| - name: Create Pull Request with Source Header Updates | |
| if: steps.changes.outputs.changes == 'true' | |
| uses: peter-evans/create-pull-request@v4 | |
| with: | |
| token: ${{ steps.generate_token.outputs.token }} | |
| commit-message: "Update source header in source files" | |
| branch: source-header-updates | |
| title: "Update Source Headers" | |
| body: | | |
| This pull request updates the source headers in the source files. | |
| labels: automated |