Skip to content

Add script to generate summaries for use in PRs#12

Open
jugglinmike wants to merge 4 commits into
mainfrom
wpt-pull-request
Open

Add script to generate summaries for use in PRs#12
jugglinmike wants to merge 4 commits into
mainfrom
wpt-pull-request

Conversation

@jugglinmike

Copy link
Copy Markdown
Member

Possible extension: automatically split large files according to the character-limit that GitHub enforces on comments in pull-request discussion threads.

Possible extension: automatically split large files according to the
character-limit that GitHub enforces on comments in pull-request
discussion threads.
Use fewer disclosures
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