dont allow merge if both are claimed even for admins

Branch: bugfix/puma-stuttgart-fixes

Branch: puma

Merged

#98 · Created 2023-09-28 · Last updated 2023-09-28

Merged pull request

Merged in bugfix/puma-stuttgart-fixes (pull request #98)

2c1dca6·Author: Kevin Choong·Closed by: Mario Holtmüller·2023-09-28

Description

0 attachments

0 comments

Loading commits...