`main` is pushed as a topic branch

[draftcode]

av should git push only for topic branches, but apparently there is a case where main is pushed as a topic branch.

Next time this happens, please save a copy of .git/av/av.db, which is a JSON document that keeps the branch metadata. This way, we can look into the situation more.