+[2019-04-09T20:53:13Z]jlkoh that doesn't seem to be operational. +[2019-04-09T20:55:05Z]mandeepi can get to other parts of github just not the main site +[2019-04-09T22:13:02Z]AbbottThis repo has directories in it that are other repos at specific commits: https://github.com/eternia16/javaGMR +[2019-04-09T22:13:36Z]Abbottis there a way to pull this repo and the two sub-repos at their specific commits in one command? or any way to do it that isn't manually cloning the other two repositories and checking them out to the correct commit by hand? +[2019-04-09T22:14:01Z]Abbottas of now, git clone just clones two empty dirs for the two links that appear on the site
jlk: yes i see the status. but have you tried going to github.com?
+[2019-04-10T07:04:35Z]SolitonAbbott: https://stackoverflow.com/questions/3796927/how-to-git-clone-including-submodules +[2019-04-10T09:46:02Z]alkisgHi, can I rename github.com/Epoptes to lowercase github.com/epoptes without any sideeffects? +[2019-04-10T12:56:04Z]CaterpillarI have to test this patch. https://github.com/BOINC/boinc/pull/3062/files If I download the .diff file, it will be the result of comparison between the pull request and the master branch of the repository. Instead I am interested in getting a .diff file that is the comparison between the pull request and the stable branch (7.14.x) because it's easier for me to compile, etc. How could I achieve that? Or am I forced to manually reproduce +[2019-04-10T12:56:05Z]Caterpillarthe pull request commits into the stable branch in order to test them? +[2019-04-10T13:05:13Z]Solitonyou can apply the diff wherever you want. naturally no magic will resolve possible conflicts for you. you may have to do that yourself.