tells me a PR is ready to merge when I push commits merging that PR

I had a PR ready to merge
I merged manually
I ran a git push, pushing the commit merging the PR, and removing the PR branch. When this push ran, Stash helpfully gave me a message back helpfully telling me that exactly the same PR was available to be merged:

bacalou:clients ± git co master
bacalou:clients ± git merge origin/issue/AID-881-transactional-emails
…
bacalou:clients ± git push origin master :issue/AID-881-transactional-emails
Counting objects: 18, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 405 bytes | 0 bytes/s, done.
Total 3 (delta 1), reused 0 (delta 0)
remote:
remote: These pull requests are ready to merge:
remote:
remote:   Changes for mail sending for AID-881
remote:   https://stash.atlassian.com/projects/AID/repos/aid-clients/pull-reques
ts/7
remote:
To ssh://git@stash.atlassian.com:7997/aid/aid-clients.git
 - [deleted]         issue/AID-881-transactional-emails
   bc44177..e2305d2  master -> master

(the mentioned PR #7 here is the one for the branch being merged/deleted).

Comments (1)