carp84 commented on pull request #13393: URL: https://github.com/apache/flink/pull/13393#issuecomment-704020362
> Hey. I'm going to lose access to the GitHub account soon, and not be able to modify the branch anymore. If changes are needed before merge, I guess I could create a new PR using another GH account. @juha-mynttinen-king sorry for the late reply due to the National Day Holiday here, will check the updated changes asap. About the GH account, yes it's ok to create another PR and link it with this one, while I suggest to use the same account as long as possible in the future (if it's impossible with the existing one) so it could better reflect your coding career (smile). ---------------------------------------------------------------- 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: [email protected]
