diff --git a/.github/workflows/reset_history.sh b/.github/workflows/reset_history.sh index 11eaec8..338f42b 100644 --- a/.github/workflows/reset_history.sh +++ b/.github/workflows/reset_history.sh @@ -1,5 +1,8 @@ #!/bin/bash +# useful to reset history when it's too big +# the git history in this context is not very important + rm -rf .git git init