You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I noticed some ancient PR environments on a Gitlab based repo and assumed they hadn't been cleaned up properly, but the created date was recent.
Looking at the merge request history, the event that corresponds to the creation date was "User A unassigned User B 2 months ago." This happened for two merge requests, one was closed and one was merged.
Seems like the webhook handler got confused and thought these were new/created merge requests?
To Reproduce
I assume this will work, but untested:
Open a merge request, see that PR environment is created
Assign a user to the merge request
Close the merge request, see that the PR environment is deleted
Unassign the user
See that PR environment is created again
Expected behavior
PR environments shouldn't exist for closed/merged merge requests.
The text was updated successfully, but these errors were encountered:
Describe the bug
I noticed some ancient PR environments on a Gitlab based repo and assumed they hadn't been cleaned up properly, but the created date was recent.
Looking at the merge request history, the event that corresponds to the creation date was "User A unassigned User B 2 months ago." This happened for two merge requests, one was
closed
and one wasmerged
.Seems like the webhook handler got confused and thought these were new/created merge requests?
To Reproduce
I assume this will work, but untested:
Expected behavior
PR environments shouldn't exist for closed/merged merge requests.
The text was updated successfully, but these errors were encountered: