if (result.remotePath.contains(".deb")) {
debian_packages.add(result.remotePath)
}
}
// workaround. flatten repo to remove specific build num from the directory
if (result.remotePath.contains(".deb")) {
debian_packages.add(result.remotePath)
}
}
// workaround. flatten repo to remove specific build num from the directory