GitHubでのファイル消去の手順

＊何か追記すべき点や間違っている点がございましたら、ご指摘をいただけると嬉しいです。

①現状分析

1.昨日A_appを作成し、プルリクエスト後に放置し、本日作業再開した結果、マージができず…

2.原因はブランチをマスターに切り替え忘れたこと

3.今回は同じAブランチからAブランチにプルリクエストを出してしまうこと事態になるなど様々なエラーが起こった

4.Desktop（ローカルリポジトリ）のA_appのみ消去ができたがブラウザ上（リモートリポジトリ）には残り続けている

②仮説

1.最初からやり直したくなったためGitHubのサイトからターミナルを使って消去を試みることにする
https://docs.github.com/en/free-pro-team@latest/github/using-git/removing-a-remote

2.白紙からやり直すにはDesktopとブラウザの両面とSequel proのテーブルも消す必要がある

③結果

1.Desktopの消去手順

Current repository
↓
A_appを右クリック
↓
Remove

2.ブラウザはターミナルを使って消去

$ git remote -v
↓
$ git remote rm 消したいファイル名
↓
$ git remote -v
↓
$ exit

3.ブラウザはターミナルで消去処理をしても残ったままになってしまうので、

消したいファイル名をクリック
↓
setting（設定）
↓
下へスクロールしてDanger Zoneの"delete this repository"をクリック
↓
"Gitユーザー名/消したいファイル名"を入力

4.ターミナルでSequel proのテーブルを削除

$ mysql -u root
↓
$ mysql> drop database 削除したいデータベース名;
↓
ハイフンのついているファイル名はエラーが出るので、`（バッククォート）でファイル名を囲う
$ mysql> drop database`消したいファイル名`;
↓
消去できたか確認する
$ mysql> show databases;
↓
$ exit

④検証

1.作業後にコミット→プッシュ→プルリクエストで終わりではなく、必ずブランチをマスターに切り替え→Fetch origin→Pull originを忘れない

2.GitHubは、必ずローカル、リモートの両リポジトリを並行して作業することが念頭にある

3.次回は消去ではなくファイルを継続させたまま直す方法を学ぶ