tillrohrmann commented on pull request #15185: URL: https://github.com/apache/flink/pull/15185#issuecomment-803916461
@zuston this is a bit of an artifact of our infrastructure. Not every committer commits via the Github web UI but many (myself included) prefer the git CLI. If people use the git CLI, then there is a bot which reads the latest commits and looks for a `This closes #PR-Number.` line. If it finds this line, then it knows that it can close the PR with `PR-Number`. That's why PRs get closed instead "merged". In the end the code will be in the master branch. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org
