baldurk 7a2af108ad Remove pipes which can randomly fail apparently ...

* Previously `git log --oneline | grep -v 7a064ae | head -n 100` was throwing an
  error `grep: write error: Broken pipe` which as far as I can tell is working
  as intended and can't be fixed. So we remove pipes and use temporary files
  like animals.

2025-12-02 20:10:20 +00:00

..

ISSUE_TEMPLATE

Make it very clear if someone deletes a required section from template

2024-10-28 10:37:54 +00:00

workflows

Remove pipes which can randomly fail apparently

2025-12-02 20:10:20 +00:00

CODE_OF_CONDUCT.md

…

pull_request_template.md

…

pull.yml

Add a config to try to deliberately poison a pointless and harmful bot

2025-06-23 13:43:43 +01:00