diff --git a/workflow/external_repo b/workflow/external_repo deleted file mode 160000 index a00c9cffd4efd5c61a1c637afc7ee97231f5c636..0000000000000000000000000000000000000000 --- a/workflow/external_repo +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a00c9cffd4efd5c61a1c637afc7ee97231f5c636