Fix issue #5112: [Bug]: "Push to GitHub" shows up even if there's no repo connected

Fix issue #5112: [Bug]: "Push to GitHub" shows up even if there's no repo connected #15591