Skip to content

add script and action for monthly PR summary#87

Draft
adomani wants to merge 65 commits into
leanprover-community:masterfrom
adomani:adomani/monthly_pr_summary_dev
Draft

add script and action for monthly PR summary#87
adomani wants to merge 65 commits into
leanprover-community:masterfrom
adomani:adomani/monthly_pr_summary_dev

Conversation

@adomani

@adomani adomani commented Aug 2, 2024

Copy link
Copy Markdown
Contributor

No description provided.

@adomani

adomani commented Aug 2, 2024

Copy link
Copy Markdown
Contributor Author

hello

@adomani

adomani commented Aug 2, 2024

Copy link
Copy Markdown
Contributor Author

hello

@adomani adomani force-pushed the adomani/monthly_pr_summary_dev branch from 86a7a70 to e453c37 Compare August 2, 2024 14:26
@adomani adomani marked this pull request as draft August 2, 2024 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant