diff --git a/github2forgejo b/github2forgejo index 557645d..95a8a48 100755 --- a/github2forgejo +++ b/github2forgejo @@ -63,7 +63,7 @@ def main [] { } } - $repos | filter { get owner.login | $in == $github_user } + $repos | where { get owner.login | $in == $github_user } } # Delete mirrored repos that do not exist on GitHub. @@ -73,11 +73,11 @@ def main [] { let forgejo_mirrored_repos = ( http get $"($forgejo_url)/api/v1/user/repos" -H [ Authorization $"token ($forgejo_token)" ] - | filter { get mirror } - | filter { if $github_token == "" { not $in.private } else { true } } + | where { get mirror } + | where { if $github_token == "" { not $in.private } else { true } } ) - let forgejo_not_on_github = ($forgejo_mirrored_repos | filter { not ($in.name in $github_repo_names) }) + let forgejo_not_on_github = ($forgejo_mirrored_repos | where { not ($in.name in $github_repo_names) }) $forgejo_not_on_github | each {|forgejo_repo| print --no-newline $"(ansi red)Deleting (ansi yellow)($forgejo_url)/($forgejo_repo.full_name)(ansi red) because the mirror source doesn't exist on GitHub anymore...(ansi reset)"