+ [9 years ago] codfection Zarthus, ok I see. thanks :)
+ [9 years ago] 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?
+ [9 years ago] Seveas Algebr```: https://github.com/blog/2233-publish-your-project-documentation-with-github-pages
+ [9 years ago] 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
+ [9 years ago] 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.
+ [9 years ago] 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
+ [9 years ago] Peng Of course, it will always exist in history.
+ [9 years ago] Intee Peng, I must be doing something wrong then. I tried 'git rm file; git commit -m 'blah'; 'git push -u origin master'