I had three open pull requests open, all to 'development'. Two were a PR by another user and one was my own.
My local copy of development was behind, so I pushed it to the remote. The act of pushing from development local to my development remote to unexpectedly caused two of the open PRs to merge automatically into development.
This was very much not wanted because there are outstanding problems to fix in those PRs. And one of the PRs was set to require approval which it had not been given.
What might have caused this? Are there criteria for automatic merging?