[fix maintenance] Fix a typo preventing script from running#1452

Alex-Zughaid wants to merge 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

Alex-Zughaid:github-reviewer-botAlex-Zughaid/physlib:github-reviewer-botCopy head branch name to clipboard