Ok, la soluzione di @Falco ha funzionato, ma ho dovuto procedere in modo indiretto.
- Ho fatto un fork del repository originale
- L’ho clonato localmente sulla mia macchina di sviluppo
- Ho creato il mio branch dal commit desiderato
git branch foo ec64ae8
- Ho spinto quel branch su GitHub
git push -u origin foo
- Ho aggiornato il mio app.yml con
git clone -b foo git@github.com:my-repo.git
Sembra che dovrebbe esserci un modo più semplice, ma questo fa il lavoro. Grazie per la direzione @Falco!