[ARVADOS-WORKBENCH2] updated: 1.4.0-1-g2f977102

[Git user]

Summary of changes:
 package.json           |  2 +-
 src/common/app-info.ts | 12 ++++++++----
 2 files changed, 9 insertions(+), 5 deletions(-)

       via  2f9771027fa0b1096b1eb8d450d7abf95356ee20 (commit)
      from  b58c1d9f7ce635aeab54c02faa516593305967e3 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 2f9771027fa0b1096b1eb8d450d7abf95356ee20
Author: Ward Vandewege <wvandewege at veritasgenetics.com>
Date:   Sun Jun 2 13:23:29 2019 -0400

    If a version number is supplied to the build command, make sure to report that
    version number in the web interface (top left).
    
    No issue #
    
    Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <wvandewege at veritasgenetics.com>

diff --git a/package.json b/package.json
index 0e5805a3..68d23bfa 100644
--- a/package.json
+++ b/package.json
@@ -53,7 +53,7 @@
   },
   "scripts": {
     "start": "react-scripts-ts start",
-    "build": "REACT_APP_BUILD_NUMBER=$BUILD_NUMBER REACT_APP_GIT_COMMIT=$GIT_COMMIT react-scripts-ts build",
+    "build": "REACT_APP_VERSION=$VERSION REACT_APP_BUILD_NUMBER=$BUILD_NUMBER REACT_APP_GIT_COMMIT=$GIT_COMMIT react-scripts-ts build",
     "build-local": "react-scripts-ts build",
     "test": "CI=true react-scripts-ts test --env=jsdom",
     "test-local": "react-scripts-ts test --env=jsdom",
diff --git a/src/common/app-info.ts b/src/common/app-info.ts
index cd274835..de6708eb 100644
--- a/src/common/app-info.ts
+++ b/src/common/app-info.ts
@@ -3,7 +3,11 @@
 // SPDX-License-Identifier: AGPL-3.0
 
 export const getBuildInfo = (): string => {
-    const getBuildNumber = "BN-" + (process.env.REACT_APP_BUILD_NUMBER || "dev");
-    const getGitCommit = "GIT-" + (process.env.REACT_APP_GIT_COMMIT || "latest").substr(0, 7);
-    return getBuildNumber + " / " + getGitCommit;
-};
\ No newline at end of file
+    if (process.env.REACT_APP_VERSION) {
+      return "v" + process.env.REACT_APP_VERSION;
+    } else {
+      const getBuildNumber = "BN-" + (process.env.REACT_APP_BUILD_NUMBER || "dev");
+      const getGitCommit = "GIT-" + (process.env.REACT_APP_GIT_COMMIT || "latest").substr(0, 7);
+      return getBuildNumber + " / " + getGitCommit;
+    }
+};

-----------------------------------------------------------------------


hooks/post-receive
--