+ [2019-05-08T21:30:20Z] flaburgan how can I pull it locally?
+ [2019-05-08T21:54:16Z] flaburgan nobody's aroung?
+ [2019-05-08T22:50:42Z] ThiefMaster flaburgan: i think in the "branch" dropdown on github you can actually type the commit hash and then create a new branch at that commit
+ [2019-05-08T22:51:15Z] ThiefMaster of course that only works if your github account has write access to the repo
+ [2019-05-08T22:51:27Z] ThiefMaster (but doing it in a fork may work as well)

message no. 172237

Posted by CarlFK in #github at 2019-05-08T18:34:53Z

I expect 3 or 4 entries, so doing it by hand is very doable
+ [2019-05-09T15:43:38Z] antimatroid I wonder if anyone on here does any web development work? I made a site manager that is git-like and latex-like (nifty-site-manager.com) and am curious what other people think if they have time to play around and try to break it etc.?
+ [2019-05-09T15:47:30Z] antimatroid there's a link to my personal site at the bottom of the page, which has my email address on the main index page if you do play and want to email me any comments/etc..
+ [2019-05-09T16:46:15Z] zenix_2k2 guys is there a limitation of how many private repos i can have ?
+ [2019-05-09T20:27:20Z] pthomas ok, I pushed all my commits 'git push origin master' and it reports 'Everything up-to-date', but when I look at the repo on the website the latest commit is missing
+ [2019-05-09T20:27:27Z] pthomas any thoughts?