[GitHub] trafodion pull request #1709: [TRAFODION-3200] correct label and version

2018-09-26 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/trafodion/pull/1709 ---

[GitHub] trafodion pull request #1709: [TRAFODION-3200] correct label and version

2018-09-10 Thread PierreSmits
Github user PierreSmits commented on a diff in the pull request: https://github.com/apache/trafodion/pull/1709#discussion_r216228515 --- Diff: tools/docker/build-base-docker.sh --- @@ -19,7 +19,7 @@ set -e -x -u BASE_SCRIPT_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" &&

[GitHub] trafodion pull request #1709: [TRAFODION-3200] correct label and version

2018-09-08 Thread svarnau
Github user svarnau commented on a diff in the pull request: https://github.com/apache/trafodion/pull/1709#discussion_r216133725 --- Diff: tools/docker/build-base-docker.sh --- @@ -19,7 +19,7 @@ set -e -x -u BASE_SCRIPT_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd

[GitHub] trafodion pull request #1709: [TRAFODION-3200] correct label and version

2018-09-08 Thread PierreSmits
GitHub user PierreSmits opened a pull request: https://github.com/apache/trafodion/pull/1709 [TRAFODION-3200] correct label and version You can merge this pull request into a Git repository by running: $ git pull https://github.com/PierreSmits/trafodion master Alternatively