pull-requests: fixed source of changes to be using shadow repos if it exists....
pull-requests: fixed source of changes to be using shadow repos if it exists.
- previous logic was flaved as the OR condition always used the main repo
- in case of GIT push -f and rebase we lost commits in the repo resulting in
problems of displaying versions of pull-requests.
