push to skip nested subrepos (as mentioned in Issue #553)#554

michelemartone wants to merge 3 commits intoingydotnet:masteringydotnet/git-subrepo:masterfrom

michelemartone:nestedmichelemartone/git-subrepo:nestedCopy head branch name to clipboard