There were 2 different pull requests: A and B. When the A pull request has been merged into master in Stash, Stash shows that pull request B has been merged remotely (but it didn't!). Somehow it worked automatically. There are no hooks.
I tried running:
git log --merges
But I can't see the merge commit for B.
Can you please help?
The git tree is as follows:
* c8372e0 (HEAD, master) Merge branch 'master' of http://...
|\
| * b091241 (origin/master, origin/HEAD) Merge pull request #193 in ...
| |\
| | * 629fb1f (origin/feature/A Fix
...
| | * e9042fb (origin/feature/B)
| | * d84a03c Merge branch 'master' into feature/B