From 5a69103fb3b5470228b9ff96d47e2d3a986c642b Mon Sep 17 00:00:00 2001
From: Xudong Sun <xudongs3@illinois.edu>
Date: Sat, 2 Dec 2023 10:09:24 -0600
Subject: [PATCH] Update web link

Signed-off-by: Xudong Sun <xudongs3@illinois.edu>
---
 .github/workflows/package-deletion.yml | 2 +-
 README.md                              | 6 +++---
 deploy/fluent/deploy_remote.yaml       | 2 +-
 deploy/rabbitmq/deploy_remote.yaml     | 2 +-
 deploy/simple/deploy.yaml              | 2 +-
 deploy/zookeeper/deploy_remote.yaml    | 2 +-
 docker/controller/Dockerfile           | 2 +-
 7 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/package-deletion.yml b/.github/workflows/package-deletion.yml
index fc6be4639..148d67527 100644
--- 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
index d034a6b5d..597bd12b3 100644
--- 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
index dfc751660..c2c29e288 100644
--- 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
index 31fc5ea70..96f5cfcc2 100644
--- 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
index 892d4b3b0..4b66e8ded 100644
--- 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
index e0e3023de..64ebe4a12 100644
--- 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
index 215a4d52e..e92a025a1 100644
--- 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