pass Github metadata as env variables

Author: Vladimir Kotal

.github/workflows/build.yml

@@ -24,6 +24,9 @@ jobs:
     - name: Before build actions
       run: ./dev/before
     - name: Build
+      env:
+        OPENGROK_REPO_SLUG: ${{ github.repository }}
+        OPENGROK_REF: ${{ github.ref }}
       run: ./dev/main
   macos:
     name: macOS with Java 11
@@ -46,6 +49,9 @@ jobs:
     - name: Before build actions
       run: ./dev/before
     - name: Build
+      env:
+        OPENGROK_REPO_SLUG: ${{ github.repository }}
+        OPENGROK_REF: ${{ github.ref }}
       run: ./dev/main
   windows:
     name: Windows with Java 11

dev/main

@@ -5,8 +5,13 @@
 # for their fork. Avoid it also for release builds as that can fail such
 # build unnecessarily.
 #
+
+if [[ -n $OPENGROK_REF && $OPENGROK_REF == refs/heads/* ]]; then
+	OPENGROK_BRANCH=${OPENGROK_REF#"refs/heads/"}
+fi
+
 extra_args=""
-if [[ "x$TRAVIS_REPO_SLUG" == "xoracle/opengrok" && "x$TRAVIS_BRANCH" == "xmaster" ]]; then
+if [[ "x$OPENGROK_REPO_SLUG" == "xoracle/opengrok" && "x$OPENGROK_BRANCH" == "xmaster" ]]; then
 	echo "Enabling Coveralls"
 	extra_args="jacoco:report coveralls:report"