user config

This commit is contained in:
Cat /dev/Nulo 2024-08-24 12:42:03 -03:00
parent fa46fc619b
commit eedd19f894

View file

@ -48,6 +48,7 @@ async function saveDatasetInfoIntoRepo(datasetInfo: any) {
JSON.stringify(datasetInfo, null, 2),
);
await $`cd ${dir} && git add dataset-info.json`;
await $`cd ${dir} && git config user.email "git@nulo.in" && git config user.name "github actions"`;
await $`cd ${dir} && git diff --staged --quiet || git commit -m "Update dataset info"`;
await $`cd ${dir} && git push origin main`;
} finally {