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