D’accord, la solution de @Falco a fonctionné, mais j’ai dû procéder de manière détournée.
- J’ai fait un fork du dépôt original
- Je l’ai cloné localement sur ma machine de développement
- J’ai créé ma branche à partir du commit souhaité
git branch foo ec64ae8
- J’ai poussé cette branche vers mon GitHub
git push -u origin foo
- J’ai mis à jour mon app.yml avec
git clone -b foo git@github.com:my-repo.git
Il devrait y avoir un moyen plus simple, mais cela fait l’affaire. Merci pour l’orientation, @Falco !