[feat infrastructure] Added actions scripts to count no. of reviewers#1451

Alex-Zughaid wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

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