Change Parameter Type	result : ReplaceResult to result : ReplaceRequest in method private markChangeMergedByPush(db ReviewDb, result ReplaceRequest) : void in class com.google.gerrit.server.git.ReceiveCommits