Fixed some minor syntax #205
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: PR Closed - purging developer_branch | ||
| on: | ||
| pull_request_target: | ||
| branches: [feature/e2e-w-prtarget] | ||
| types: [closed] | ||
| jobs: | ||
| merge-master-back-to-dev: | ||
| if: github.event.pull_request.merged == false | ||
| timeout-minutes: 2 | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - uses: actions/checkout@v2 | ||
| with: | ||
| ref: developer_branch | ||
| fetch-depth: 0 | ||
| - name: Remove Updates from this PR | ||
| run: | | ||
| # Get Commits from this PR | ||
| TAG=PR_${{ github.event.pull_request.number }} | ||
| commits=$(git rev-list HEAD --grep=153 --max-count=1) | ||
| echo "commits: $commits" | ||
| # Revert Commits or Log that no change was made | ||
| git config --local user.email "dev@null" | ||
| git config --local user.name "Conformitron Bot" | ||
| git revert $commits --no-edit || echo "Commit $commits not reverted" | ||
| # for commit in $commits; do | ||
| # echo $commit | ||
| # git revert $commit --no-edit || echo "Commit $commit not reverted" | ||
| # done | ||
| git push | ||
