Guillaume Raffy a4a4b98e95 changed the role of deboco's update_machine_partially's last argument ... - instead of identifying a group of machines, it allows the user to use a specific playbook. This argument is now transmitted verbatim to debops and is therefore less restrictive than previously work done when working on [https://bugzilla.ipr.univ-rennes.fr/show_bug.cgi?id=4069]		2025-05-23 18:32:01 +02:00
..
ansible.vault.ipr.sh	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
cssh	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
deboco	changed the role of deboco's update_machine_partially's last argument	2025-05-23 18:32:01 +02:00
debops.init-machine.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
debops.update-debops.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
debops.update-machine.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
diffBranches.bash	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
make_color.py	changed file hierarchy to allow for a readme file, an also because this repos is no longer expected to be in cloned in the home directory (too dangerous and it messes up some tools that see git repos into git repos)	2023-11-30 18:33:55 +01:00
ticman	gave a better self explaining name to the directory hosting the tickets details repository (to avoid a possible confusion with the tickets themselves)	2024-06-27 10:39:17 +02:00