From a1c82b6e74ce4354b317e7796d203b77026bfb35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steven!=20Ragnar=C3=B6k?= Date: Fri, 12 Jul 2024 16:27:46 -0700 Subject: [PATCH] Update renamed GitHub user. (#567) --- orco.tf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/orco.tf b/orco.tf index 40e0bd5..c1aca60 100644 --- a/orco.tf +++ b/orco.tf @@ -1,6 +1,6 @@ locals { orco_team = [ - "daviddorf2023", + "david-dorf", ] orco_repositories = [ "multidim_rrt_planner-release",