#4116 Add support for merging PR whose originating fork has been deleted
Merged by pingou. Opened by pingou.
merge_deleted_prs  into  master

Download 4116.patch
no initial comment

This will need tests before it can be merged :)

rebased onto b757d0656fe9069390d4cea564c3bfc87410af38

rebased onto 145b84069f20820970876317944d2eb0f1ce700e

Pretty please pagure-ci rebuild

:thumbsup:

4 new commits added

  • Add testing the internal merge status endpoint with PR having no forks
  • Add tests checking actions on PR when there are no longer a fork
  • Fix calculating the PR diff stats on PR whose fork has been deleted
  • Add support to merge a PR when the fork was deleted

rebased onto c9612448071d090797a3916ad3c77934ba884007

1 new commit added

  • Bail on local PR without project_from when linking PRs to tickets

2 new commits added

  • Tweak the logging when sending blinker signals
  • Increase the logging in when rebasing a pull-request

7 new commits added

  • Tweak the logging when sending blinker signals
  • Increase the logging in when rebasing a pull-request
  • Bail on local PR without project_from when linking PRs to tickets
  • Add testing the internal merge status endpoint with PR having no forks
  • Add tests checking actions on PR when there are no longer a fork
  • Fix calculating the PR diff stats on PR whose fork has been deleted
  • Add support to merge a PR when the fork was deleted

:thumbsup:

Pull-Request has been merged by pingou

Metadata