No matches were found for subject:"wrong info from 'git remote show <remote>' about 'git push' configuration"