refactor: add minor elements to the repo - round (2) (#58)

.github/workflows/release.yml

@@ -0,0 +1,22 @@
+name: release
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  release-on-push:
+    runs-on: ubuntu-22.04
+    env:
+      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+    steps:
+
+      - uses: rymndhng/release-on-push-action@master
+        with:
+          bump_version_scheme: norelease
+          use_github_release_notes: true
+          tag_prefix: "v"
+          release_name: "v<RELEASE_VERSION>"
+          max_commits: 100

.gitpod.dockerfile

@@ -5,15 +5,15 @@ FROM ubuntu:22.04
 # Install:
 # - git (and git-lfs), for git operations (to e.g. push your work).
 #   Also required for setting up your configured dotfiles in the workspace.
-# - gosu, while not required, is recommended to be installed, since the
+# - sudo, while not required, is recommended to be installed, since the
 #   workspace user (`gitpod`) is non-root and won't be able to install
 #   and use `sudo` to install any other tools in a live workspace.
-RUN apt-get update && apt-get install -yq --no-install-recommends \
-    git git-lfs gosu g++ make valgrind libmpfr-dev python3 python3-pip doxygen \
+RUN apt-get update && apt-get install -yq \
+    git git-lfs sudo g++ make valgrind libmpfr-dev python3 python3-pip doxygen \
     && pip install cpplint pre-commit \
     && apt-get clean && rm -rf /var/lib/apt/lists/* /tmp/*
 
 # Create the gitpod user. UID must be 33333.
-RUN useradd -l -u 33333 -md /home/gitpod -s /bin/bash -p gitpod gitpod
+RUN useradd -l -u 33333 -G sudo -md /home/gitpod -s /bin/bash -p gitpod gitpod
 
 USER gitpod

VERSION

@@ -0,0 +1 @@
+v2.0.5