How does Github Pages detect pull requests to be auto-closed?
I think that it is the same processing as
[git branch --merged](https://github.com/git/git/blob/master/builtin/branch.c#L110), is it right?
Some pull requests is auto-closed.
Some cases like Example2 does not auto-close pull request.
<font color="#000000">add_aaa is auto-closed
I create two pull requests
- develop (base: master)
- add_aaa (base: master)
If I merge develop to master, add_aaa is auto-closed
<font color="#000000">add_aaa is not auto-closed
I create two pull requests same as Example1.
Even if I merge develop to master, add_aaa is not auto-closed.
I think the reason is that you can not trace the commit graph from the master (after develop is merged) to the head of the add_aaa branch.
Thanks in advance for your help!