GitPushRepoResult (GitPushRepoResult original, GitUpdateResult updateResult) { return new GitPushRepoResult(original.getType(), original.getNumberOfPushedCommits(), original.getSourceBranch(), original.getTargetBranch(), original.getTargetRemote(), original.getPushedTags(), original.getError(), updateResult); }