Git

• Wie kann man einen GitHub Actions Workflow manuell ausführen? 17.08.
• Wann erzeugt man einen Pull-Request? 14.08.