add script and action for monthly PR summary#87

adomani wants to merge 65 commits into

leanprover-community:masterleanprover-community/blog:masterfrom

adomani:adomani/monthly_pr_summary_devadomani/blog:adomani/monthly_pr_summary_devCopy head branch name to clipboard