You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Use git clean to remove untracked files; shallow clone for faster clones (#91)
* Use git clean to remove untracked files; shallow clone for faster clones
- When the registration server crashes abruptly it can sometimes leave behind untracked files from a previous registration. This can cause issues like JuliaRegistries/General#81954. Here I added a `git clean -fd` before checkout so that untracked files will be cleaned.
- Added `-q --depth=1` to `git clone`s so that cloning will be faster and quieter in the logs.
* Update Project.toml
0 commit comments