Rename submission modes: benchmark→private, leaderboard→public#33

msaroufim wants to merge 1 commit into

maingpu-mode/popcorn-cli:mainfrom

rename-benchmark-leaderboard-to-private-publicgpu-mode/popcorn-cli:rename-benchmark-leaderboard-to-private-publicCopy head branch name to clipboard