ci: add pr automatization

Author: yknx4

.github/workflows/pr.yml

@@ -0,0 +1,28 @@
+on:
+    pull_request:
+        types: [opened]
+
+jobs:
+    check-description:
+        name: Check that PR has description
+        runs-on: ubuntu-latest
+
+        steps:
+            - name: Check if PR is shame-worthy
+              id: is-shame-worthy
+              run: |
+                  FILTERED_BODY=$( sed -r -e '/^(##? )|(- *\[)/d' <<< $RAW_BODY )
+                  echo "::debug::Filtered PR body to $FILTERED_BODY"
+                  if [[ -z "${FILTERED_BODY//[[:space:]]/}" ]]; then
+                      echo "::set-output name=is-shame-worthy::true"
+                  else
+                      echo "::set-output name=is-shame-worthy::false"
+                  fi
+              env:
+                  RAW_BODY: ${{ github.event.pull_request.body }}
+
+            - name: Shame if PR has no description
+              if: steps.is-shame-worthy.outputs.is-shame-worthy == 'true'
+              run: |
+                  SHAME_BODY="Hey @${{ github.actor }}! 👋\nThis pull request seems to contain no description. Please add useful context, rationale, and/or any other information that will help make sense of this change now and in the distant Mars-based future."
+                  curl -s -u posthog-bot:${{ secrets.GITHUB_TOKEN }} -X POST -d "{ \"body\": \"$SHAME_BODY\" }" "https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/comments"

.github/workflows/stale-pr.yml

@@ -0,0 +1,18 @@
+name: 'Handle stale PRs'
+on:
+    schedule:
+        - cron: '30 7 * * 1-5'
+
+jobs:
+    stale:
+        runs-on: ubuntu-latest
+        steps:
+            - uses: actions/stale@v4
+              with:
+                  only: pulls
+                  stale-pr-message: "This PR hasn't seen activity in a week! Should it be merged, closed, or worked on further? If you want to keep it open, post a comment or remove the `stale` label – otherwise this will be closed in another week."
+                  close-pr-message: 'This PR was closed due to 2 weeks of inactivity. Feel free to reopen it if still relevant.'
+                  days-before-pr-stale: 7
+                  days-before-pr-close: 7
+                  stale-issue-label: stale
+                  stale-pr-label: stale