GitHub desktopからすべてpush
そのあとGitHubのリポジトリを削除
desktopには push済みの状態で残っている
desktopのものを再度pushするか、 desktopの状態をGitHubに同期する方法はありますか？