Commit History

Author SHA1 Message Date
  Tobias Markus 6507c72c08 Update all workflows to actions/checkout@v4 9 months ago
  MatusGuy 176f8bc08b Fix scripting and wiki workflows [ci skip] 1 year ago
  MatusGuy 83f83989a6 Add workflow_dispatch for all workflows 1 year ago
  Semphris 78b8f74e8c Spaced wiki GitHub workflow 3 years ago
  Mathnerd314 dd472a4a16 wiki: git config user 4 years ago
  Mathnerd314 1b94e18326 wiki: Rebase onto changes from repo 4 years ago
  Mathnerd314 720c00a3a2 wiki: Fix repo URL 4 years ago
  Mathnerd314 480c72e3f6 wiki: check if this works 4 years ago
  Mathnerd314 b2481ba2e7 wiki: try setting the key name 4 years ago
  Mathnerd314 ec2726670a wiki: try to fix key reading error 4 years ago
  Mathnerd314 2638d5af14 wiki: Try with a deploy key as the personal token doesn't seem to work 4 years ago
  Mathnerd314 8876f9fe3a wiki: add a workflow to push from the real wiki to the wiki repo mirror 4 years ago