Bump requests from 2.31.0 to 2.32.2 in /torch-neuronx/training/dp_bert_hf_pretrain #11
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: Merge PR into Dynamic Branch on Label | |
| on: | |
| pull_request_target: | |
| types: [labeled, synchronize] | |
| branches: | |
| - master | |
| jobs: | |
| merge-to-dynamic-branch: | |
| if: github.event.label.name != 'do-not-merge' #Excludes those labeled with do-not-merge | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Repository | |
| uses: actions/checkout@v2 | |
| with: | |
| ref: ${{ github.event.pull_request.head.ref }} | |
| fetch-depth: 0 | |
| - name: Configure Git | |
| run: | | |
| git config user.name "GitHub Actions" | |
| git config user.email "[email protected]" | |
| - name: Check PR Labels and Merge for New Commit Events | |
| if: github.event.action == 'synchronize' | |
| run: | | |
| LABELS_JSON=$(gh pr view ${{ github.event.pull_request.number }} --json labels) | |
| LABELS=$(echo "$LABELS_JSON" | jq -r '.labels[].name') | |
| for LABEL_BRANCH in $LABELS; do | |
| # Check if the branch exists | |
| if git show-ref --verify --quiet refs/heads/$LABEL_BRANCH; then | |
| echo "Branch $LABEL_BRANCH already exists." | |
| else | |
| echo "Branch $LABEL_BRANCH does not exist, creating it." | |
| git branch $LABEL_BRANCH origin/master | |
| fi | |
| git checkout $LABEL_BRANCH | |
| # Merge PR changes into dynamic branch | |
| git merge ${{ github.event.pull_request.head.sha }} --no-ff --no-commit | |
| git commit -m "Merged PR #${{ github.event.pull_request.number }} due to new commits on labeled PR" | |
| git push origin $LABEL_BRANCH | |
| done | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Merge for Labeled Event | |
| if: github.event.action == 'labeled' | |
| run: | | |
| LABEL_BRANCH=${{ github.event.label.name }} | |
| # Check if the branch exists | |
| if git show-ref --verify --quiet refs/heads/$LABEL_BRANCH; then | |
| echo "Branch $LABEL_BRANCH already exists." | |
| else | |
| echo "Branch $LABEL_BRANCH does not exist, creating it." | |
| git branch $LABEL_BRANCH origin/master | |
| fi | |
| git checkout $LABEL_BRANCH | |
| # Merge PR changes into dynamic branch | |
| git merge ${{ github.event.pull_request.head.sha }} --no-ff --no-commit | |
| git commit -m "Merged PR #${{ github.event.pull_request.number }} due to label '$LABEL_BRANCH'" | |
| git push origin $LABEL_BRANCH |