Développement #52471
intégrer un script permettant la mise à jour des thèmes dérivés
Status:
Nouveau
Priority:
Normal
Assignee:
-
Target version:
-
Start date:
29 March 2021
Due date:
% Done:
0%
Estimated time:
Patch proposed:
No
Planning:
No
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.