Willy-JL e5d76e2b76 Fix script 2 lat temu
..
add-subtree.sh 09bdf56126 Those should be executable 2 lat temu
bulk-update-subtrees.sh 5abd2bddaf Improve subtree update scripts 2 lat temu
subtree-subdir-helper.sh e5d76e2b76 Fix script 2 lat temu
update-subtree.sh d0a4e50e25 Improve update script reliability 2 lat temu