You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
log "Created registration request with valid public key with output reference: $outputRegRef1"
36
36
37
-
if [ -z"$GITHUB_PERSONAL_ACCESS_TOKEN" ];then
38
-
log "Error: GITHUB_PERSONAL_ACCESS_TOKEN is not set. Please refer to \"https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/managing-your-personal-access-tokens\#creating-a-fine-grained-personal-access-token\""
37
+
if [ -z"$ANTI_GITHUB_PAT" ];then
38
+
log "Error: ANTI_GITHUB_PAT is not set. Please refer to \"https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/managing-your-personal-access-tokens\#creating-a-fine-grained-personal-access-token\""
0 commit comments