Failed to update GitHub Pages when the default branch is not `master`

[Kimiyuki Onaka]

Description

oj-verify updates the gh-pages branch when it's called on the default branch, but the name of default branch is hard-coded as master. This doesn't work for users who use main. This is a new bug introduced by the GitHub's breaking change.

verification-helper/onlinejudge_verify/main.py

Line 160 in 780f84b

 if os.environ['GITHUB_REF'] == 'refs/heads/master': 

Error log

https://github.com/maguroplusia/Library/runs/1633606290

Other notes

• Will you try to create a pull request?
  • yes. This has a high priority.