Pull Requests: add button to compare force pushed commits (#22857)

To quickly see what changed without having to re-read the whole diff.
This commit is contained in:
Brecht Van Lommel 2023-03-01 20:19:47 +01:00 committed by GitHub
parent 0268ee5c37
commit 545495dcb0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 17 additions and 0 deletions

View file

@ -952,6 +952,17 @@
margin-top: 4px;
}
.comparebox {
line-height: 32px;
vertical-align: middle;
.compare.label {
font-size: 1rem;
margin: 0;
border: 1px solid var(--color-light-border);
}
}
.comment-form-reply .footer {
padding-bottom: 1em;
}