bug in git for windesk. missed deletion