|
|
|
@ -1792,9 +1792,9 @@ pulls.unrelated_histories = Merge Failed: The merge head and base do not share a
|
|
|
|
|
pulls.merge_out_of_date = Merge Failed: Whilst generating the merge, the base was updated. Hint: Try again.
|
|
|
|
|
pulls.head_out_of_date = Merge Failed: Whilst generating the merge, the head was updated. Hint: Try again.
|
|
|
|
|
pulls.has_merged = Failed: The pull request has been merged, you cannot merge again or change the target branch.
|
|
|
|
|
pulls.push_rejected = Merge Failed: The push was rejected. Review the Git Hooks for this repository.
|
|
|
|
|
pulls.push_rejected = Push Failed: The push was rejected. Review the Git Hooks for this repository.
|
|
|
|
|
pulls.push_rejected_summary = Full Rejection Message
|
|
|
|
|
pulls.push_rejected_no_message = Merge Failed: The push was rejected but there was no remote message.<br>Review the Git Hooks for this repository
|
|
|
|
|
pulls.push_rejected_no_message = Push Failed: The push was rejected but there was no remote message. Review the Git Hooks for this repository
|
|
|
|
|
pulls.open_unmerged_pull_exists = `You cannot perform a reopen operation because there is a pending pull request (#%d) with identical properties.`
|
|
|
|
|
pulls.status_checking = Some checks are pending
|
|
|
|
|
pulls.status_checks_success = All checks were successful
|
|
|
|
|