* GitHub.Repository.addin.xml: some changes

* GitHub.Repository.csproj: