Remove robot submissions and bot user feature - #2499

Remove robot submissions and bot user feature#2499

ihsaan-ullah wants to merge 1 commit into

developcodalab/codabench:developfrom

remove_robotcodalab/codabench:remove_robotCopy head branch name to clipboard