+ [2019-04-09T20:53:13Z] jlk oh that doesn't seem to be operational.
+ [2019-04-09T20:55:05Z] mandeep i can get to other parts of github just not the main site
+ [2019-04-09T22:13:02Z] Abbott This repo has directories in it that are other repos at specific commits: https://github.com/eternia16/javaGMR
+ [2019-04-09T22:13:36Z] Abbott is 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] Abbott as of now, git clone just clones two empty dirs for the two links that appear on the site

message no. 171543

Posted by escherial in #github at 2019-04-09T15:43:40Z

dmlloyd: yeah, that sounds reasonable; thanks. most of the time we delete the smaller PRs, but this one's kind of involved and i guess it was unclear if the original issue had been completely addressed...
+ [2019-04-10T07:04:35Z] Soliton Abbott: https://stackoverflow.com/questions/3796927/how-to-git-clone-including-submodules
+ [2019-04-10T09:46:02Z] alkisg Hi, can I rename github.com/Epoptes to lowercase github.com/epoptes without any sideeffects?
+ [2019-04-10T12:56:04Z] Caterpillar I 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] Caterpillar the pull request commits into the stable branch in order to test them?
+ [2019-04-10T13:05:13Z] Soliton you can apply the diff wherever you want. naturally no magic will resolve possible conflicts for you. you may have to do that yourself.