adjust get projects for bento+docker repos#189

MixwelInc wants to merge 10 commits intomastersravni/.github:masterfrom

bento-mixedsravni/.github:bento-mixedCopy head branch name to clipboard