##// END OF EJS Templates
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.

File last commit:

r3164:9a2c9ca9 default
r4128:1e7d835f default
Show More
add.css
13 lines | 270 B | text/css | CssLexer
.menuselection, .guilabel {
font-size: .90em;
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen-Sans, Ubuntu, Cantarell, "Helvetica Neue", sans-serif;
font-style: oblique;
}
.version {
display: none;
}
.pre {
color: #000
}