From 95e925c4cdf481a5b54c0cdc9bfbefe0d1b90a03 Mon Sep 17 00:00:00 2001
From: Robin Haberkorn <rhaberkorn@fmsbw.de>
Date: Sat, 4 Oct 2025 21:02:51 +0200
Subject: removed the Github CI workflows: this is now fully replaced by the
 fmsbw.de FreeBSD-based runners

---
 .github/workflows/irc.yml | 41 -----------------------------------------
 1 file changed, 41 deletions(-)
 delete mode 100644 .github/workflows/irc.yml

(limited to '.github/workflows/irc.yml')

diff --git a/.github/workflows/irc.yml b/.github/workflows/irc.yml
deleted file mode 100644
index f96616f..0000000
--- a/.github/workflows/irc.yml
+++ /dev/null
@@ -1,41 +0,0 @@
-# After every push with successful CI,
-# post the commits since the last successful CI into the IRC channel.
-name: IRC Post
-
-on:
-  workflow_run:
-    workflows: ['Continuous Integration']
-    types: [completed]
-    branches: master
-
-jobs:
-  irc:
-    runs-on: ubuntu-latest
-    if: ${{ github.event.workflow_run.conclusion == 'success' }}
-    steps:
-    - name: Git Clone
-      uses: actions/checkout@v4.1.6
-      with:
-        fetch-depth: 0
-    - name: Get log
-      id: get_log
-      env:
-        GH_TOKEN: ${{ github.token }}
-      run: |
-        # Get commit of the previous successful CI run
-        COMMIT="`gh run list --workflow="ci.yml" --limit=2 --status=success --json headSha -q '.[1].headSha'`"
-        {
-          echo 'LOG<<EOF'
-          git log --pretty="format:%h %s" --reverse $COMMIT..HEAD
-          echo EOF
-        } >> "$GITHUB_OUTPUT"
-    - name: Post IRC message
-      uses: rectalogic/notify-irc@v1
-      with:
-        channel: "#sciteco"
-        server: "irc.libera.chat"
-        nickname: git-bot
-        # NOTE: There is also ${{ github.event.ref }} ${{ join(github.event.commits.*.message) }}
-        # but it probably doesn't give us the commits since the last succesful one, but simply everything
-        # belonging to the push.
-        message: ${{ steps.get_log.outputs.LOG }}
-- 
cgit v1.2.3