Remove GitHub proxy service (#49)

See https://github.com/sourcegraph/sourcegraph/issues/55290, we're removing this service in favor of deployment simplicity with a redis-based equivalent.

Author: eseliger

base/monitoring/prometheus/prometheus.yml

@@ -149,7 +149,6 @@ scrape_configs: # Configure targets to scrape
           group: sourcegraph-service
         targets:
           - sourcegraph-frontend:6060
-          - github-proxy:6060
           - repo-updater:6060
           - worker:6060
           - worker-executors:6996

base/sourcegraph/github-proxy/github-proxy.Deployment.yaml

@@ -6,7 +6,6 @@ resources:
   - codeintel-db
   - embeddings
   - frontend
-  - github-proxy
   - gitserver
   - indexed-search
   - pgsql

base/sourcegraph/github-proxy/github-proxy.Service.yaml

@@ -31,9 +31,6 @@ spec:
         - name: repo-updater
           image: index.docker.io/sourcegraph/repo-updater:216430_2023-05-02_5.0-3cc9006de32c@sha256:c91ae5f636b8a7a1b06d6c899da6a2b40f0be91aaf704116dac1c3a491db6517
           env:
-            # Required when service discovery is disabled
-            - name: GITHUB_BASE_URL
-              value: http://github-proxy:80
             # OTEL_AGENT_HOST must be defined before OTEL_EXPORTER_OTLP_ENDPOINT to substitute the node IP on which the DaemonSet pod instance runs in the latter variable
             - name: OTEL_AGENT_HOST
               valueFrom:

base/sourcegraph/github-proxy/kustomization.yaml

@@ -59,7 +59,6 @@ patches:
   - path: patches/blobstore/blobstore.Deployment.yaml
   - path: patches/cadvisor/cadvisor.DaemonSet.yaml
   - path: patches/frontend/sourcegraph-frontend.Deployment.yaml
-  - path: patches/github-proxy/github-proxy.Deployment.yaml
   - path: patches/gitserver/gitserver.StatefulSet.yaml
   - path: patches/indexed-search/indexed-search.StatefulSet.yaml
   - path: patches/otel-collector/otel-collector.Deployment.yaml

base/sourcegraph/kustomization.yaml

@@ -21,7 +21,7 @@ patches:
     target:
       group: apps
       kind: StatefulSet|Deployment
-      name: sourcegraph-frontend|github-proxy|gitserver|indexed-search|precise-code-intel-worker|repo-updater|searcher|symbols|worker
+      name: sourcegraph-frontend|gitserver|indexed-search|precise-code-intel-worker|repo-updater|searcher|symbols|worker
       version: v1
   - patch: |-
       - op: add