Fix path of git push

This commit is contained in:
Emmanuel 2022-11-15 15:52:11 +01:00
parent fffa699c3e
commit 425da86cb9

View file

@ -158,7 +158,9 @@ async function downloadDataset(
await $`rm ${archiveName}` await $`rm ${archiveName}`
} }
if (changed && push) { if (changed && push) {
cd(datasetName)
await $`git push` await $`git push`
cd("..")
} }
} }