Historique des commits

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