remove gitpod

.gitpod.dockerfile

@@ -1,30 +0,0 @@
-FROM gitpod/workspace-full:latest
-
-# 0. Switch to root
-USER root
-
-# 1. Install direnv & git-lfs
-RUN apt-get install direnv \
-                    git-lfs
-
-# 2. Install Nix
-RUN addgroup --system nixbld \
-  && usermod -a -G nixbld gitpod \
-  && mkdir -m 0755 /nix && chown gitpod /nix \
-  && mkdir -p /etc/nix && echo 'sandbox = false' > /etc/nix/nix.conf
-
-CMD /bin/bash -l
-USER gitpod
-ENV USER gitpod
-WORKDIR /home/gitpod
-
-RUN touch .bash_profile && \
-  curl https://nixos.org/nix/install | sh
-
-RUN mkdir -p /home/gitpod/.config/nixpkgs && echo '{ allowUnfree = true; }' >> /home/gitpod/.config/nixpkgs/config.nix
-
-RUN echo '. /home/gitpod/.nix-profile/etc/profile.d/nix.sh' >> /home/gitpod/.bashrc
-RUN echo 'eval "$(direnv hook bash)"' >> /home/gitpod/.bashrc
-
-# n. Give back control
-USER root

.gitpod.yml

@@ -1,26 +0,0 @@
-image:
-  file: .gitpod.dockerfile
-tasks:
-  - name: Live
-    command: ./live
-ports:
-  - port: 5500
-    onOpen: open-browser
-github:
-  prebuilds:
-    # enable for the master/default branch (defaults to true)
-    master: true
-    # enable for all branches in this repo (defaults to false)
-    branches: false
-    # enable for pull requests coming from this repo (defaults to true)
-    pullRequests: false
-    # add a check to pull requests (defaults to true)
-    addCheck: false
-    # add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
-    addComment: true
-
-vscode:
-  extensions:
-    - bbenoist.Nix@1.0.1:TbrU16w37jLfkqA6h20vuQ==
-    - EditorConfig.EditorConfig@0.15.1:wTLttUDotgRJ2XHnXVuC0A==
-    - CoenraadS.bracket-pair-colorizer@1.0.61:fqPT1sJEqaEdrfXeYbdW+A==

README.md

@@ -1,9 +1,5 @@
 <img alt="CI"
      src="https://github.com/nix-dot-dev/nix.dev/workflows/CI/badge.svg">
-<a href="https://gitpod.io/#https://github.com/nix-dot-dev/nix.dev">
-  <img alt="GitPod"
-       src="https://gitpod.io/button/open-in-gitpod.svg">
-</a>
 
 # [nix.dev](https://nix.dev)