-- Leo's gemini proxy
-- Connecting to unbon.cafe:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;
Toutes les forges git[1] ne proposent pas forcément un système d’intégration continue[2] permettant de réaliser des actions automatiques via des crochets[3]. Cela rend les tâches particulièrement répétitives par exemple dans le cas d’une page statique hébergée sur Codeberg – absence de CI et publication exclusivement à partir d’une branche `pages`.
La solution manuelle requiert une succession d’étapes répétitives afin de publier les modifications vers la branche `main` :
git add ;
git commit ;
git push.
Puis de les pousser vers la branche `pages` :
git checkout pages ;
git rebase main ;
git push.
Avant de revenir sur la branche `main` pour la prochaine utilisation :
git checkout main.
Le caractère répétitif de ces manipulations ouvre la possibilité d’utiliser un makefile[4] pour n’avoir qu’une commande à taper, celui-ci peut être aussi simple que :
git: git add . git commit -m "$m" git push git checkout pages git rebase main git push git checkout main
Il suffira alors de lancer la commande `make git` dans le terminal suivi du texte de commit dans la variable m – qui pourrait également être standardisée.
-- Response ended
-- Page fetched on Sun May 19 01:34:33 2024