Fix open-source filter for mini-SWE-agent-v2 on Verified leaderboard#56

aorwall wants to merge 1 commit intomasterSWE-bench/swe-bench.github.io:masterfrom

fix/regenerate-leaderboards-os-modelSWE-bench/swe-bench.github.io:fix/regenerate-leaderboards-os-modelCopy head branch name to clipboard