Github user rehevkor5 commented on the issue:
https://github.com/apache/flink/pull/3059
I'm curious as to how you added my commit to `master` and `release-1.2` but
it doesn't show up in this PR. The whole "rehevkor5 committed with uce 5 days
ago" thing. Github isn't aware that the changes in this PR were merged.
If you have a moment can you describe your workflow is so I can understand
what's happening behind the scenes? Is it rebase onto master + merge --ff-only
or something? Maybe it's due to the fact that Github is only mirroring another
repo? I'd appreciate it!
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
