You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@flink.apache.org by GitBox <gi...@apache.org> on 2021/03/22 09:38:43 UTC

[GitHub] [flink] tillrohrmann edited a comment on pull request #15185: [FLINK-21768][clients]Optimize system.exit() logic of CliFrontend

tillrohrmann edited a comment 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 either way.


-- 
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:
users@infra.apache.org