Merge pull request #1 from xlab-uiuc/xudong/update-link

Update web link
xlab-uiuc · Dec 2, 2023 · 2573452 · 2573452
2 parents 88998b4 + 5a69103
commit 2573452
Show file tree

Hide file tree

Showing 7 changed files with 9 additions and 9 deletions.
diff --git a/.github/workflows/package-deletion.yml b/.github/workflows/package-deletion.yml
@@ -16,4 +16,4 @@ jobs:
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: |
-            gh api --method DELETE -H "Accept: application/vnd.github+json" -H "X-GitHub-Api-Version: 2022-11-28" /orgs/vmware-research/packages/container/verifiable-controllers%2F${{ inputs.image }}
+            gh api --method DELETE -H "Accept: application/vnd.github+json" -H "X-GitHub-Api-Version: 2022-11-28" /orgs/xlab-uiuc/packages/container/verifiable-controllers%2F${{ inputs.image }}
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
-[![License](https://img.shields.io/badge/License-MIT-green.svg)](https://github.com/vmware-research/verifiable-controllers/blob/main/LICENSE)
-[![CI](https://github.com/vmware-research/verifiable-controllers/actions/workflows/ci.yml/badge.svg)](https://github.com/vmware-research/verifiable-controllers/actions/workflows/ci.yml)
+[![License](https://img.shields.io/badge/License-MIT-green.svg)](https://github.com/xlab-uiuc/verifiable-controllers/blob/main/LICENSE)
+[![CI](https://github.com/xlab-uiuc/verifiable-controllers/actions/workflows/ci.yml/badge.svg)](https://github.com/xlab-uiuc/verifiable-controllers/actions/workflows/ci.yml)
 
 # verifiable-controllers
 
@@ -34,7 +34,7 @@ To deploy the verified zookeeper controller to a Kubernetes cluster:
 ```
 $: ./deploy.sh zookeeper
 ```
-This script will deploy the zookeeper controller image (hosted at [our repo](https://github.com/vmware-research/verifiable-controllers/packages)) inside your Kubernetes cluster.
+This script will deploy the zookeeper controller image (hosted at [our repo](https://github.com/xlab-uiuc/verifiable-controllers/packages)) inside your Kubernetes cluster.
 
 ## Documentation
 

diff --git a/deploy/fluent/deploy_remote.yaml b/deploy/fluent/deploy_remote.yaml
@@ -16,6 +16,6 @@ spec:
         app.kubernetes.io/name: fluent-controller
     spec:
       containers:
-        - image: ghcr.io/vmware-research/verifiable-controllers/fluent-controller:latest
+        - image: ghcr.io/xlab-uiuc/verifiable-controllers/fluent-controller:latest
           name: controller
       serviceAccountName: fluent-controller
diff --git a/deploy/rabbitmq/deploy_remote.yaml b/deploy/rabbitmq/deploy_remote.yaml
@@ -16,6 +16,6 @@ spec:
         app.kubernetes.io/name: rabbitmq-controller
     spec:
       containers:
-        - image: ghcr.io/vmware-research/verifiable-controllers/rabbitmq-controller:latest
+        - image: ghcr.io/xlab-uiuc/verifiable-controllers/rabbitmq-controller:latest
           name: controller
       serviceAccountName: rabbitmq-controller
diff --git a/deploy/simple/deploy.yaml b/deploy/simple/deploy.yaml
@@ -171,7 +171,7 @@ spec:
         app.kubernetes.io/name: simple-controller
     spec:
       containers:
-        - image: ghcr.io/vmware-research/verifiable-controllers/simple-controller:latest
+        - image: ghcr.io/xlab-uiuc/verifiable-controllers/simple-controller:latest
           name: controller
           command:
             - simple-controller

diff --git a/deploy/zookeeper/deploy_remote.yaml b/deploy/zookeeper/deploy_remote.yaml
@@ -16,6 +16,6 @@ spec:
         app.kubernetes.io/name: zookeeper-controller
     spec:
       containers:
-        - image: ghcr.io/vmware-research/verifiable-controllers/zookeeper-controller:latest
+        - image: ghcr.io/xlab-uiuc/verifiable-controllers/zookeeper-controller:latest
           name: controller
       serviceAccountName: zookeeper-controller
diff --git a/docker/controller/Dockerfile b/docker/controller/Dockerfile
@@ -1,4 +1,4 @@
-FROM ghcr.io/vmware-research/verifiable-controllers/verus:latest as builder
+FROM ghcr.io/xlab-uiuc/verifiable-controllers/verus:latest as builder
 
 ARG APP
 WORKDIR /anvil