Put git hash in startup message

.github/workflows/build.yml

@@ -19,6 +19,10 @@ jobs:
     - name: Get specific commits of git submodules
       run: |
            sh -ex ./submod.sh
+    - name: Apply patches
+      run: |
+           # Put git hash in startup message
+           sed -i "s/Loading.../$(date +%Y%m%d)-$(git rev-parse --short HEAD)/g" src/userinterface.cpp
     - name: Install toolchains
       run: |
            set -ex