proc plugin_push_command {
  var plugin_name = $1
  if test $plugin_name = "--all" {
    for dir in [$[asdf_dir]/plugins/*] {
      echo "Pushing $[basename $dir]..."
      shell {cd $dir && git push}
    }
  } else {
    var plugin_path = ''
    plugin_path := $[get_plugin_path $plugin_name]
    check_if_plugin_exists $plugin_name
    echo "Pushing $plugin_name..."
    shell {cd $plugin_path && git push}
  }
}
(CommandList
  children: [
    (FuncDef
      name: plugin_push_command
      body: 
        (BraceGroup
          children: [
            (Assignment
              keyword: Assign_Local
              pairs: [
                (assign_pair
                  lhs: (LhsName name:plugin_name)
                  op: Equal
                  rhs: {($ VSub_Number "$1")}
                  spids: [9]
                )
              ]
              spids: [7]
            )
            (If
              arms: [
                (if_arm
                  cond: [
                    (Sentence
                      child: 
                        (C {(Lit_Other "[")} {(DQ ($ VSub_Name "$plugin_name"))} {(Lit_Other "=")} 
                          {(DQ (--all))} {(Lit_Other "]")}
                        )
                      terminator: <Op_Semi ";">
                    )
                  ]
                  action: [
                    (ForEach
                      iter_name: dir
                      iter_words: [
                        {
                          (CommandSubPart
                            command_list: (CommandList children:[(C {(asdf_dir)})])
                            left_token: <Left_CommandSub "$(">
                            spids: [39 41]
                          ) (/plugins/) (Lit_Other "*")
                        }
                      ]
                      do_arg_iter: False
                      body: 
                        (DoGroup
                          children: [
                            (C {(echo)} 
                              {
                                (DQ ("Pushing ") 
                                  (CommandSubPart
                                    command_list: 
                                      (CommandList
                                        children: [(C {(basename)} {(DQ ($ VSub_Name "$dir"))})]
                                      )
                                    left_token: <Left_CommandSub "$(">
                                    spids: [53 59]
                                  ) (...)
                                )
                              }
                            )
                            (Subshell
                              child: 
                                (AndOr
                                  children: [(C {(cd)} {(DQ ($ VSub_Name "$dir"))}) (C {(git)} {(push)})]
                                  op_id: Op_DAmp
                                )
                              spids: [64 76]
                            )
                          ]
                          spids: [46 79]
                        )
                      spids: [38 44]
                    )
                  ]
                  spids: [-1 30]
                )
              ]
              else_action: [
                (Assignment
                  keyword: Assign_Local
                  pairs: [(assign_pair lhs:(LhsName name:plugin_path) op:Equal spids:[87])]
                  spids: [85]
                )
                (Assignment
                  keyword: Assign_None
                  pairs: [
                    (assign_pair
                      lhs: (LhsName name:plugin_path)
                      op: Equal
                      rhs: 
                        {
                          (CommandSubPart
                            command_list: 
                              (CommandList
                                children: [(C {(get_plugin_path)} {(DQ ($ VSub_Name "$plugin_name"))})]
                              )
                            left_token: <Left_CommandSub "$(">
                            spids: [91 97]
                          )
                        }
                      spids: [90]
                    )
                  ]
                  spids: [90]
                )
                (C {(check_if_plugin_exists)} {(DQ ($ VSub_Name "$plugin_name"))})
                (C {(echo)} {(DQ ("Pushing ") ($ VSub_Name "$plugin_name") (...))})
                (Subshell
                  child: 
                    (AndOr
                      children: [(C {(cd)} {(DQ ($ VSub_Name "$plugin_path"))}) (C {(git)} {(push)})]
                      op_id: Op_DAmp
                    )
                  spids: [116 128]
                )
              ]
              spids: [82 131]
            )
          ]
          spids: [4]
        )
      spids: [0 3]
    )
  ]
)