💾 Archived View for unbon.cafe › lejun › posts › 20230104_makeGitPush.gmi captured on 2023-07-10 at 13:48:23. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Automatisation de git via makefile

2022-01-04

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`.

Manuel

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.

Makefile

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.

[1] Système git, LeJun 2022

[2] Intégration continue, LeJun 2022

[3] Git hooks, LeJun 2022

[4] Make, LeJun 2022