# Lines starting with '#' and sections without content
# are not displayed by a call to 'details'
#
[paths]
# Paths related to this bug.
# suggested format: REPO_PATH:LINENUMBERS


[details]
Having multiple directories associated with the same request URI means a pull
request cannot reasonably give a directory to pull to. (Or should it give all
matches?)

Having multiple repositories with the same name (in the request URI)
makes pull requests not work (because it uses only name), and makes it more
confusing to refer to repositories.

[expected]
# The expected result


[actual]
# What happened instead


[reproduce]
# Reproduction steps


[comments]
# Comments and updates - leave your name