Hi @xccui I wonder what is the formal process for merging a PR. In spite of some trivial work that could be merged directly, I have always seen committers manually merge PRs. Is there some automate process I miss?
[ Full content available at: https://github.com/apache/flink/pull/6450 ] This message was relayed via gitbox.apache.org for [email protected]
