[PR #3393] [MERGED] Force-push to base repo's ref/pull/#/head #16917

Closed
opened 2025-11-02 12:22:05 -06:00 by GiteaMirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/go-gitea/gitea/pull/3393
Author: @strk
Created: 1/18/2018
Status: Merged
Merged: 1/19/2018
Merged by: @lafriks

Base: masterHead: force-push-head-refs


📝 Commits (3)

  • f4cff77 Force-push to base repo's ref/pull/#/head
  • 5e1bfdb format
  • 6cf483c Merge branch 'master' into force-push-head-refs

📊 Changes

1 file changed (+1 additions, -0 deletions)

View changed files

📝 models/pull.go (+1 -0)

📄 Description

Fixes force-pushing to pull request branches, otherwise failing with:

[...gitea/models/pull.go:1022 AddTestPullRequestTask()] [E] PushToBaseRepo: Push: exit status 1 - To /path/to/gitea-repositories/org/repo.git
! [rejected] issue-fix -> refs/pull/20/head (non-fast-forward)


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/go-gitea/gitea/pull/3393 **Author:** [@strk](https://github.com/strk) **Created:** 1/18/2018 **Status:** ✅ Merged **Merged:** 1/19/2018 **Merged by:** [@lafriks](https://github.com/lafriks) **Base:** `master` ← **Head:** `force-push-head-refs` --- ### 📝 Commits (3) - [`f4cff77`](https://github.com/go-gitea/gitea/commit/f4cff77cacc04b3188bf5abe91ed9dd4ba8c9f52) Force-push to base repo's ref/pull/#/head - [`5e1bfdb`](https://github.com/go-gitea/gitea/commit/5e1bfdb82031d8312867e110fec8a677207b2073) format - [`6cf483c`](https://github.com/go-gitea/gitea/commit/6cf483cd0ede9d579c143cc44864fb8406b36d37) Merge branch 'master' into force-push-head-refs ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `models/pull.go` (+1 -0) </details> ### 📄 Description Fixes force-pushing to pull request branches, otherwise failing with: [...gitea/models/pull.go:1022 AddTestPullRequestTask()] [E] PushToBaseRepo: Push: exit status 1 - To /path/to/gitea-repositories/org/repo.git ! [rejected] issue-fix -> refs/pull/20/head (non-fast-forward) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-11-02 12:22:05 -06:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#16917