From 9aeeaa617bb990254e4accd83a3929f5d6c30880 Mon Sep 17 00:00:00 2001
From: Robert Oostenveld <r.oostenveld@gmail.com>
Date: Thu, 24 Aug 2023 12:22:32 +0200
Subject: [PATCH] renamed and cleaned up

---
 .github/scripts/hello_world.py     |  4 ----
 .github/workflows/auto_comment.yml | 37 ------------------------------
 2 files changed, 41 deletions(-)
 delete mode 100755 .github/scripts/hello_world.py
 delete mode 100644 .github/workflows/auto_comment.yml

diff --git a/.github/scripts/hello_world.py b/.github/scripts/hello_world.py
deleted file mode 100755
index 1110e62..0000000
--- a/.github/scripts/hello_world.py
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env python
-
-print("Hello world!")
-print("And also hi there on Mars!")
\ No newline at end of file
diff --git a/.github/workflows/auto_comment.yml b/.github/workflows/auto_comment.yml
deleted file mode 100644
index aebd9ff..0000000
--- a/.github/workflows/auto_comment.yml
+++ /dev/null
@@ -1,37 +0,0 @@
-name: Create comment
-          
-on:
-  pull_request:
-
-jobs:
-  create_comment:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Dump GitHub context
-        env:
-          GITHUB_CONTEXT: ${{ toJson(github) }}
-        run: echo "$GITHUB_CONTEXT"
-
-      - name: Check out repository
-        uses: actions/checkout@v3
-
-      - name: Setup Python
-        uses: actions/setup-python@v4
-        with:
-          python-version: '3.10'
-
-      - name: Print hello
-        id: print-hello
-        run: |
-          python .github/scripts/hello_world.py > ./comment
-
-      - name: Show hello
-        id: show-hello
-        run: |
-          cat ./comment
-  
-      - name: Create comment
-        uses: peter-evans/create-or-update-comment@v3
-        with:
-          issue-number: ${{ github.event.number }} 
-          body-path: ./comment
\ No newline at end of file