We need to hear 2 sides of a story. Github does not just 'delete' files. Author should contact them first and resolve any issues there is. And if github refuse that, than you can cry a river.