github-push
Project-specific workflow for building and pushing to GitHub. Use when the user asks to "build and push", "push to GitHub", or similar. Ensures build runs first, correct files are staged, and push completes to origin.
Installation
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Voir la source ↗GuidesInstructions
Fonctions et usage
Project-specific workflow for building and pushing to GitHub. Use when the user asks to "build and push", "push to GitHub", or similar. Ensures build runs first, correct files are staged, and push completes to origin.
Démarrage rapide
Suivez les instructions du dépôt pour votre agent. Consultez les fichiers et dépendances avant l’installation.
Guides ↗Exemples
Consultez les exemples du dépôt source.
Voir la source ↗Historique source
- Date d’indexation
- 2026-01-24
- Mise à jour de l’index
- 2026-01-26
- Branch
- main
Les dates concernent ce répertoire. Consultez le dépôt pour l’historique du code.
GitHub ↗chat Comments (0)
Sign in to join the discussion and leave a comment.
No comments yet. Be the first to share your thoughts!