diff options
author | Unknwon <u@gogs.io> | 2016-03-04 18:51:18 -0500 |
---|---|---|
committer | Unknwon <u@gogs.io> | 2016-03-04 18:51:18 -0500 |
commit | 2a931937a8a92d5b1f3bca9e9cf4cbe23c862ce9 (patch) | |
tree | 7c1d853a1d392ca8df53ef0f2f7235625fbb93d7 /models | |
parent | dfd6f8f7abb30ae9f89a06d16dba7dc9039f2ba1 (diff) | |
download | gitea-2a931937a8a92d5b1f3bca9e9cf4cbe23c862ce9.tar.gz gitea-2a931937a8a92d5b1f3bca9e9cf4cbe23c862ce9.zip |
Update locales
Diffstat (limited to 'models')
-rw-r--r-- | models/pull.go | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/models/pull.go b/models/pull.go index 8103d71ea1..a3b3d7bce5 100644 --- a/models/pull.go +++ b/models/pull.go @@ -484,7 +484,6 @@ func (pr *PullRequest) UpdatePatch() (err error) { // PushToBaseRepo pushes commits from branches of head repository to // corresponding branches of base repository. -// FIXME: could fail after user force push head repo, should we always force push here? // FIXME: Only push branches that are actually updates? func (pr *PullRequest) PushToBaseRepo() (err error) { log.Trace("PushToBaseRepo[%d]: pushing commits to base repo 'refs/pull/%d/head'", pr.BaseRepoID, pr.Index) |