[GitHub] flink pull request: https://issues.apache.org/jira/browse/FLINK-13...

2015-01-21 Thread uce
Github user uce commented on the pull request: https://github.com/apache/flink/pull/312#issuecomment-70846478 This can be closed. msdevanms wants to merge 78 commits into master from release-0.8, which are both branches from our repo. I also couldn't find a public fork at his

[GitHub] flink pull request: https://issues.apache.org/jira/browse/FLINK-13...

2015-01-15 Thread aljoscha
Github user aljoscha commented on the pull request: https://github.com/apache/flink/pull/312#issuecomment-70071567 Did you do anything besides trying to add all release-0.8 commits to the master? --- If your project is set up for it, you can reply to this email and have your reply

[GitHub] flink pull request: https://issues.apache.org/jira/browse/FLINK-13...

2015-01-14 Thread msdevanms
GitHub user msdevanms opened a pull request: https://github.com/apache/flink/pull/312 https://issues.apache.org/jira/browse/FLINK-1388 https://issues.apache.org/jira/browse/FLINK-1388 You can merge this pull request into a Git repository by running: $ git pull