No results found for "funny tech mistake when trying to push to github gets error that its not a git". Try a different search term.