We study the space of Riemannian metrics with positive scalar curvature on a compact manifold with boundary. These metrics extend a fixed boundary metric and take a product structure on a collar neighbourhood of the boundary. ...