feat: create post thru PR

.github/PULL_REQUEST_TEMPLATE/post.md

@@ -0,0 +1,11 @@
+---
+title:
+layout: post
+comments: false
+tags:
+---
+
+<!--
+The repo generates a post with this template. The file's name will be the PR's title along with its date.
+Whatever you write here will be the post.
+-->

.github/workflows/create_post_from_pr.yaml

@@ -0,0 +1,32 @@
+name: Create Post from PR
+
+on:
+  pull_request:
+    types: [labeled, closed]
+
+jobs:
+  create_post:
+    if: ${{ (github.event.pull_request.merged == true && github.event.label.name == 'post') }}
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Create post file
+        id: create_post
+        run: |
+          PR_TITLE=$(echo "${{ github.event.pull_request.title }}" | tr '[:upper:]' '[:lower:]' | tr ' ' '-')
+          DATE=$(date +'%Y-%m-%d')
+          PR_TITLE="${DATE}-${PR_TITLE}"
+          PR_BODY=${{ github.event.pull_request.body }}
+          POST_FILE="posts/${PR_TITLE}.md"
+          echo "${PR_BODY}" >> $POST_FILE
+
+      - name: Commit and push changes
+        run: |
+          git config --global user.name 'github-actions[bot]'
+          git config --global user.email 'github-actions[bot]@users.noreply.github.com'
+          git add posts/
+          git commit -m "Create post: ${{ github.event.pull_request.title }}"
+          git push origin main

.github/workflows/deploy.yaml

@@ -19,7 +19,9 @@ jobs:
 
       - id: stack
         uses: freckle/stack-action@v5
-
+        with:
+          stack-build-arguments: --fast # No pedantic for now
+
       - run: stack exec site build
 
       - run: |