mirror of
https://gitee.com/gitea/gitea
synced 2025-12-18 14:06:39 +08:00
Show deleted pull head information
This commit is contained in:
@@ -235,8 +235,11 @@ func PushToBaseRepo(pr *models.PullRequest) (err error) {
|
||||
log.Error("Unable to load head repository for PR[%d] Error: %v", pr.ID, err)
|
||||
return err
|
||||
}
|
||||
headRepoPath := pr.HeadRepo.RepoPath()
|
||||
if pr.HeadRepo == nil {
|
||||
return models.ErrHeadRepoMissed{pr.ID, pr.HeadRepoID}
|
||||
}
|
||||
|
||||
headRepoPath := pr.HeadRepo.RepoPath()
|
||||
if err := git.Clone(headRepoPath, tmpBasePath, git.CloneRepoOptions{
|
||||
Bare: true,
|
||||
Shared: true,
|
||||
|
||||
Reference in New Issue
Block a user