Hello,
I found a typo while reading the source repository documentation:https://www.postgresql.org/docs/devel/static/sourcerepo.html
Attached patch fixes it.
CheersMartin Mai