解决Julia安装库出现invalid git HEAD(reference ‘refs/heads/master‘ not found)问题

问题原因

出现这个问题的原因是下载包的过程中掉线或者关闭程序等中途终止的行为。

本人是在Linux64系统下，用1.5.3版本的julia下载github上的一个仓库，https://github.com/sisl/NeuralVerification.jl，直接在REPL下载包模式下add这个地址

(@v1.5) pkg> add /home/test3/NeuralVerification.jl

没等下载完断网了。再次下载的时候就出现题目所述的问题：

ERROR：invalid git HEAD(reference ‘refs/heads/master’ not found)

尝试解决的办法

一开始尝试删除重装julia，删除julia可能删除掉安装库的日志、缓存等，再重装julia下载安装包。
但是重装之后还是会出现题目所述问题。
然后在julia中文社区的官群里问了别人，说可能是因为项目更新，项目分支默认可能是main而不是master。建议下包的命令加上分支