Merge branch 'current' into future/ws24

.github/init-future-branch.py

@@ -9,7 +9,7 @@
 args = parser.parse_args()
 
 try:
-    term = re.match(r'^future-(?:[ws]{2})-?(?:20)?([0-9]{2})$', args.branch).group(1)
+    term = re.match(r'^future/(?:[ws]{2})-?(?:20)?([0-9]{2})$', args.branch).group(1)
     term = int(term)
 except AttributeError:
     print(f'Malformed branch name: "{args.branch}"')

.github/workflows/build_assignments.yml

@@ -21,8 +21,9 @@ jobs:
       - name: Initialize
         uses: actions/checkout@v4
 
-      - uses: kostrykin/build-latex-document-action@master
+      - uses: kostrykin/build-latex-document-action@v1.1.1
         with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
           working_directory: assignments
           document_filename: assignments.pdf
           sources: |

.github/workflows/create_future_branch.yml

@@ -22,12 +22,6 @@ jobs:
         uses: actions/checkout@v4
 
       - name: Create and initialize future branch
-        run: echo "branch=$(python .github/create-future-branch.py)" >> $GITHUB_OUTPUT
-        id: create_branch
-
-      - name: Commit and push
-        uses: stefanzweifel/git-auto-commit-action@v5
+        uses: kostrykin/create-future-branch-action@master
         with:
-          branch: ${{ steps.create_branch.outputs.branch }}
-          commit_message: 'Initialize future branch'
-          create_branch: true
+          init: python .github/init-future-branch.py

README.md

@@ -10,5 +10,5 @@
 
 **If you want to make some changes for the next year:**
 1. Update the code (as described above)
-2. Create the pull request against the corresponding `future-*` branch
-3. Merge the `future-*` branch to the `current` branch in time before the course starts
+2. Create the pull request against the corresponding `future/*` branch
+3. Merge the `future/*` branch to the `current` branch in time before the course starts