+ [2016-09-28T18:54:54Z] codfection Zarthus, 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] Seveas Algebr```: https://github.com/blog/2233-publish-your-project-documentation-with-github-pages
+ [2016-09-28T20:41:28Z] Seveas And the html generation is its jekyll support, which has been there for ages

message no. 151794

Posted by codfection in #github at 2016-09-28T18:53:49Z

hmm then how? Zarthus
+ [2016-09-29T01:01:39Z] Intee Hey 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] Peng If 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] Peng Of course, it will always exist in history.
+ [2016-09-29T01:03:29Z] Intee Peng, I must be doing something wrong then. I tried 'git rm file; git commit -m 'blah'; 'git push -u origin master'