Project

General

Profile

Actions

Bug #5596

open

Pull Request duplicated after description edit

Added by Olivier Renaud about 4 years ago. Updated about 4 years ago.

Status:
Resolved
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
27.02.2020
Due date:
% Done:

0%

Estimated time:
Sorting:
Commit Number:
Affected Version:

Description

One of my users created a pull request, then immediately edited the description and saved. This resulted in the pull request being stuck in the "merging" state (with the message "Cannot show diff when pull request state is changing. Current progress state: merging"), and with a new pull request being created (first PR is !69 and second is !70). Only the second PR contains the edit of the description. Interrestingly, only the rccextension hooks of the second PR ran.

Actions

Also available in: Atom PDF