Closed
Description
If a repository use pull request, the merged label is unusable. But for others with no pull request, merged label is very usable. I will find time to review your PR.
so if the last commit is includet in default branch and folowing commit on default branch has a message wich *[Mm]erge*<branch name>*
then it is merged manualy and the merge flag sould also aperar
Originally posted by @6543 in #7454 (comment)