Okay, @Falcos Lösung hat funktioniert, aber ich musste einen Umweg gehen.
- Ich habe das ursprüngliche Repository forkt
- Es lokal auf meinem Dev-Machine geklont
- Einen Branch vom gewünschten Commit erstellt
git branch foo ec64ae8
- Diesen Branch zu meinem GitHub gepusht
git push -u origin foo
- Meine app.yml aktualisiert mit
git clone -b foo git@github.com:my-repo.git
Es scheint, als gäbe es einen einfacheren Weg, aber das bringt den Job erledigt. Danke für die Richtung @Falco!