fix: repo rename (#1218)

ShubhamChaturvedi7 · Shubham Chaturvedi · web-flow · commit c2f003cb679b · 2025-01-15T15:24:57.000-08:00
Co-authored-by: Shubham Chaturvedi &lt;scchatur@amazon.com&gt;
diff --git a/cfn/CI-Bot.yml b/cfn/CI-Bot.yml
@@ -46,7 +46,7 @@ Resources:
                   "token.actions.githubusercontent.com:sub": [
                     "repo:aws/aws-cryptographic-material-providers-library:*",
                     "repo:aws/aws-database-encryption-sdk-dynamodb:*",
-                    "repo:aws/aws-encryption-sdk-dafny:*"
+                    "repo:aws/aws-encryption-sdk:*"
                   ]
                 }
               }

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ Resources:`
`46`	`46`	`"token.actions.githubusercontent.com:sub": [`
`47`	`47`	`"repo:aws/aws-cryptographic-material-providers-library:*",`
`48`	`48`	`"repo:aws/aws-database-encryption-sdk-dynamodb:*",`
`49`		`- "repo:aws/aws-encryption-sdk-dafny:*"`
	`49`	`+ "repo:aws/aws-encryption-sdk:*"`
`50`	`50`	`]`
`51`	`51`	`}`
`52`	`52`	`}`