Gitversion warning

[akashlal]

@zvonimir While trying to build the solution AddOns\AngelicVerifierNull\AngelicVerifierNull.sln, I am getting the following warnings for each of the boogie projects:

1>C:\Users\akashl\.nuget\packages\gitversiontask\5.1.2\build\GitVersionTask.targets(10,9): warning : It looks like the branch being examined is a detached Head pointing to commit '8448ac1'. Without a proper branch name GitVersion cannot determine the build version.

I've seen some recent gitversion chatter on Boogie. Any idea how to fix this warning?

[zvonimir]

Actually, when I try this I get the following error:

/usr/share/dotnet/sdk/3.1.201/NuGet.targets(270,5): error MSB3202: The project file "/home/zvonimir/projects/corral/boogie/Source/Doomed/Doomed.csproj" was not found. [/home/zvonimir/projects/corral/AddOns/AngelicVerifierNull/AngelicVerifierNull.sln]

Did you maybe fix this but you did not push?

Related to the warning you are getting, have you executed this beforehand:

git submodule foreach 'git branch -D master && git checkout -b master'

[zvonimir]

@akashlal any updates on this one? Does this problem persist? Thanks!