Show if a PR has conflicting files on the PR lists (#10130)

Co-authored-by: Lauris BH <lauris@nix.lv>
This commit is contained in:
James Lakin
2020-02-03 22:14:38 +00:00
committed by GitHub
parent 20c513be6e
commit 3ff95cef60
4 changed files with 23 additions and 8 deletions

View File

@ -1066,6 +1066,7 @@ pulls.blocked_by_rejection = "This Pull Request has changes requested by an offi
pulls.can_auto_merge_desc = This pull request can be merged automatically.
pulls.cannot_auto_merge_desc = This pull request cannot be merged automatically due to conflicts.
pulls.cannot_auto_merge_helper = Merge manually to resolve the conflicts.
pulls.num_conflicting_files = "%d conflicting files"
pulls.no_merge_desc = This pull request cannot be merged because all repository merge options are disabled.
pulls.no_merge_helper = Enable merge options in the repository settings or merge the pull request manually.
pulls.no_merge_wip = This pull request can not be merged because it is marked as being a work in progress.