josé M
Unable to answer "What is the name of this pedestrian street?" for https://osm.org/way/520496204 via StreetComplete 33.2:

Creo que no tiene nombre oficial, ya que no hay puertas que lleven aquí. El nombre que le dan los del pueblo es "Callejón" o "Calleja"