Skip to content

Add pull request source for validation reports#86

Closed
dempseyatgithub wants to merge 4 commits intoswiftlang:mainfrom
dempseyatgithub:add-pull-request-source
Closed

Add pull request source for validation reports#86
dempseyatgithub wants to merge 4 commits intoswiftlang:mainfrom
dempseyatgithub:add-pull-request-source

Conversation

@dempseyatgithub
Copy link
Copy Markdown
Collaborator

  • Add --pull-request option to validate command
  • Add command line support and help for new option
  • Tweaks to existing code to fetch list of files in pull request
  • Create extraction job that uses pull request files
  • Update readme and changelog
  • Resolves Add validation reports for pull requests #9

- Add --pull-request option to validate command
- Add command line support and help for new option
- Tweaks to existing code to fetch list of files in pull request
- Create extraction job that uses pull request files
- Update readme and changelog
- Resolves swiftlang#9
Comment thread Sources/EvolutionMetadataExtraction/Utilities/Networking.swift
Comment thread README.md Outdated
Comment thread README.md
dempseyatgithub and others added 2 commits February 5, 2026 18:15
@dempseyatgithub
Copy link
Copy Markdown
Collaborator Author

This PR gave errors trying to merge Joe's suggestion and my own suggestion. The suggestions were committed, but the commits never appeared as part of the PR, but they did appear in the forked repo that was the source of the PR.

Finally, the 'merge automatically' section of the page has not resolved after many, many minutes.

Closing this PR and creating a separate PR (#87) with the same content.

@dempseyatgithub dempseyatgithub deleted the add-pull-request-source branch February 6, 2026 02:42
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.

Add validation reports for pull requests

2 participants