From e4374d199eb0b40597a8c0a5ea37fe0e36173ece Mon Sep 17 00:00:00 2001 From: Ethan Dennis Date: Fri, 9 Sep 2022 08:21:26 -0700 Subject: [PATCH] Update jenkins/5-migrate.md Co-authored-by: Begona Guereca --- jenkins/5-migrate.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/5-migrate.md b/jenkins/5-migrate.md index 936e940..c1121e1 100644 --- a/jenkins/5-migrate.md +++ b/jenkins/5-migrate.md @@ -18,7 +18,7 @@ We need to answer the following questions before running a `migrate` command: 2. Where do we want to store the logs? - __./tmp/migrate__ 3. What is the URL for the GitHub repository to add the workflow to? - - __this repository__. The URL should should follow the pattern with `:owner` and `:repo` replaced with your values. + - __this repository__. The URL should follow the pattern with `:owner` and `:repo` replaced with your values. ### Steps