+[2019-05-08T21:30:20Z]flaburganhow can I pull it locally? +[2019-05-08T21:54:16Z]flaburgannobody's aroung? +[2019-05-08T22:50:42Z]ThiefMasterflaburgan: 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]ThiefMasterof 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)
I expect 3 or 4 entries, so doing it by hand is very doable
+[2019-05-09T15:43:38Z]antimatroidI 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]antimatroidthere'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_2k2guys is there a limitation of how many private repos i can have ? +[2019-05-09T20:27:20Z]pthomasok, 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]pthomasany thoughts?