chiark / gitweb /
dgit-repos-server: plumb rejection message through to parent maybeinstallprospective