The web installer doesn't work when users' default branch are changed.

[kmyk]

Description

GitHub introduce the BREAKING CHANGE that changes the name of recommended default branch from master to main. This affects our web installer https://online-judge-tools.github.io/verification-helper/installer.html / GitHub が実質的なデフォルトブランチを master から main に変更してしまった (†破壊的変更†)。これが web installer https://online-judge-tools.github.io/verification-helper/installer.ja.html に影響してる。

具体的には A link to add the example file to your repository みたいなリンクが壊れる。これは https://github.com/beet-aizu/library/new/master?filename=example.test.cpp&value=... みたいな URL に繋がっているが、master branch がないと動かない。

Plans

選択肢は次のどちらかだろう。ユーザの負荷を増やしたくないので (1.) が理想だけど、無理そうなら (2.) になる。

1. GitHub の API をうまく叩いて default branch を取得し、それを使う
2. To set up automated verification の steps に「default branch の名前を選んでね: (1.) master, (2.) main, (3.) 自由入力」みたいな step を追加する

Other notes

• This doesn't affects users who have already installed oj-verify. / すでに oj-verify をインストールしたユーザへの影響はない。