+[2016-09-28T18:54:54Z]codfectionZarthus, ok I see. thanks :) +[2016-09-28T20:38:47Z]Algebr```I remember that github pages changed somewhat recently, like you now can just code on master? Also heard that simple writing markdown in a _posts directory will auto generate html? any truth in this? +[2016-09-28T20:40:42Z]SeveasAlgebr```: https://github.com/blog/2233-publish-your-project-documentation-with-github-pages +[2016-09-28T20:41:28Z]SeveasAnd the html generation is its jekyll support, which has been there for ages +[2016-09-28T22:07:23Z]cyber_ravan /join owasp
+[2016-09-29T00:02:34Z]egorsmkv1hello +[2016-09-29T01:01:39Z]InteeHey guys, could someone tell me how I delete a file from my repo? I have deleted it from my local machine and tried pushing the changes but it's still listed in the repo on github. +[2016-09-29T01:02:40Z]PengIf git really believes it was deleted, and you commit it, and push the commit to the appropriate branch, it will look deleted on GitHub +[2016-09-29T01:03:11Z]PengOf course, it will always exist in history. +[2016-09-29T01:03:29Z]InteePeng, I must be doing something wrong then. I tried 'git rm file; git commit -m 'blah'; 'git push -u origin master'