Bugfix/GitHub workflows

[kwitsch]

Changes

• fixes the mirror-repo workflow I broke yesterday
• added Github-Actions plugin to devcontainer
• set prettier as default formatter for github workflows in devcontainer
• removed default settings from devcontainer.json
• reformatted all workflows for uniformity
• removed Mattraks/delete-workflow-runs since its filter is broken

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (7615584) 93.63% compared to head (65574fb) 93.70%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1234      +/-   ##
==========================================
+ Coverage   93.63%   93.70%   +0.07%     
==========================================
  Files          70       70              
  Lines        5687     5687              
==========================================
+ Hits         5325     5329       +4     
+ Misses        280      277       -3     
+ Partials       82       81       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[kwitsch]

@0xERR0R & @ThinkChaos the cause of the failing repo mirror workflow(on every merge) is a faulty indentation in the yaml file.
This is fixed in this PR.

[kwitsch]

The filter option of Mattraks/delete-workflow-runs@v2 seems broken. I'll remove it later today.

[kwitsch]

@0xERR0R since the Delete workflow runs is faulty and will be removed with this PR and Sync Fork is always skipped in this repo I disabled these two workflows.