Willy-JL 6e9970ea1c Fix some update scripts 1 rok temu
..
add-subtree.sh 09bdf56126 Those should be executable 2 lat temu
bulk-update-subtrees.sh 5abd2bddaf Improve subtree update scripts 1 rok temu
subtree-subdir-helper.sh 60f67941e8 This didnt work well with submodules 2 lat temu
update-subtree.sh 6e9970ea1c Fix some update scripts 1 rok temu