github 2 Tip: GitHub Actions auf SHA pinnen - warum jetzt und nicht irgendwann May 19, 2026 Tip: GitHub-Workflows mit workflow_dispatch manuell starten Jul 9, 2025