Development #52471
intégrer un script permettant la mise à jour des thèmes dérivés
Statut:
Nouveau
Priorité:
Normal
Assigné à:
-
Version cible:
-
Début:
29 mars 2021
Echéance:
% réalisé:
0%
Temps estimé:
Patch proposed:
Non
Planning:
Non
Description
Ça ferait (for depot in sys.args[1:]):
- git pull
- build
- git submodule update --recursive --remote
- comparaison des fichiers css
- si pas de différence bye
- git commit -m 'update publik-base-theme submodule' publik-base-theme
- push & tag.
Dans ce premier temps l'appel resterait manuel, à penser à faire le jeudi, sur les trois modules concernés.
On pourra envisager temps deux pour l'automatisation.