enhance: use git reset --hard instead of git reset HEAD --hard to…
#980
| Job | Run time |
|---|---|
| 46s | |
| 46s |
git reset --hard instead of git reset HEAD --hard to…
#980
| Job | Run time |
|---|---|
| 46s | |
| 46s |