Merge branch '312552057' into 312552057

Author: pudding0803

.github/pull_request_template.md

@@ -15,4 +15,3 @@
 - [ ] From your specific branch (***not main or other's branch***) merging to your branch
 - [ ] Excluding any irrelevant files, such as binaries, text files, or dot files
 - [ ] Passing tests/CI
-- [ ] Add proper label for this PR

.github/workflows/label.yml

@@ -0,0 +1,24 @@
+name: Automatic PR Labeler
+on:
+    pull_request_target:
+        types: [opened, reopened, edited]
+
+jobs:
+    labeler:
+        runs-on: ubuntu-latest
+        steps:
+            - name: Label PR
+              uses: actions/github-script@v5
+              with:
+                  github-token: ${{ secrets.PAT }}
+                  script: |
+                      const { owner, repo, number: issue_number } = context.issue;
+                      const pr = await github.rest.pulls.get({ owner, repo, pull_number: issue_number });
+                      const title = pr.data.title;
+                      const labRegex = /\[LAB(\d+)\]/i;
+
+                      const match = title.match(labRegex);
+                      if (match) {
+                        const labelToAdd = 'lab' + match[1];
+                        await github.rest.issues.addLabels({ owner, repo, issue_number, labels: [labelToAdd] });
+                      }

lab1/validate.sh

@@ -9,7 +9,7 @@ cd $tmp_dir
 
 rm -rf *
 cp $solution_path/*.js .
-result=$($node --test --experimental-test-coverage) ; ret=$?
+result=$($"node" --test --experimental-test-coverage) ; ret=$?
 if [ $ret -ne 0 ] ; then
   echo "[!] testing fails"
   exit 1

scripts/rebase-all.sh

@@ -0,0 +1,29 @@
+#!/bin/bash
+
+git fetch origin
+
+for branch in $(git branch -r | grep -v HEAD); do
+    # Remove the "origin/" prefix
+    branch=${branch#origin/}
+
+    if [[ "$branch" != "main" ]]; then
+        git checkout "$branch"
+        if [[ $? -ne 0 ]]; then
+            echo "Checkout failed for branch $branch"
+            exit 1
+        fi
+        git pull origin "$branch"
+        if [[ $? -ne 0 ]]; then
+            echo "Pull failed for branch $branch"
+            exit 1
+        fi
+        git rebase main
+        if [[ $? -ne 0 ]]; then
+            echo "Rebase failed for branch $branch"
+            exit 1
+        fi
+        git push origin "$branch"
+    fi
+done
+
+git checkout main