fix: default to K8S_USER=eks-devs in .envrc (#1131)

Author: michalrus

.envrc

@@ -7,4 +7,6 @@ source "$(
 
 use envreload //local/envs/main
 
+export K8S_USER=eks-devs
+
 source_env_if_exists .envrc.local

.github/workflows/std.yml

@@ -151,8 +151,6 @@ jobs:
           ssh_known_hosts_entry: ${{ env.DISCOVERY_KNOWN_HOSTS_ENTRY }}
       - name: Generate the Diff
         run: |
-          echo 'export K8S_USER=eks-devs' >.envrc.local
-
           nix develop .#x86_64-linux.local.envs.main -L --command bash -c '
             set -euo pipefail
 
@@ -219,8 +217,6 @@ jobs:
           ssh_known_hosts_entry: ${{ env.DISCOVERY_KNOWN_HOSTS_ENTRY }}
       - name: Deploy to K8s
         run: |
-          echo 'export K8S_USER=eks-devs' >.envrc.local
-
           nix develop .#x86_64-linux.local.envs.main -L --command bash -c '
             set -euo pipefail