anchor.diff:          } else {
             stdin.close();
           }
  -      }
  -
  -      handleAPIs(apis);
  +      } else {
  +        handleAPIs(apis, retry: retry);
  +      }
       })
       ..catchError((error) {
         print("Error: handleAPIs = $error");
  
positive.code: 
  // API generation and push
  
  Future handleAPI(String name, String version, String gitname) {
    var completer = new Completer();
    print("");
    print("------------------------------------------------");
  
negative.code:               });
              });
            } else {
              completer.complete(true);
            }
          });
  
  