以下の記事
[Github]デフォルトブランチを変える方法
https://zenn.dev/ukigumo_shiina3/articles/b3b16c709de61d
を読んでデフォルトブランチを変更しようとスクロールしてみたのですが
スクロールの底まで行ってもdevelopブランチが表示されず「なんで？？」と思い、
「デフォルトブランチ 変更 develop 表示されない」とかいったワードで検索をかけて
それでも解決の糸口が掴めない状況でイライラしていたのですが
「Filter branches」というプレースホルダーの箇所で
「dev」と検索を打ったら表示されました！
正直、これは非常に分かりづらいので直して欲しいのですが。笑
単純な見落としです。笑
