-
Notifications
You must be signed in to change notification settings - Fork 7
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
PushedDate is null when the pull request is from a fork #22
Comments
I looked at pull requests, and it seems like For commits we have the following dates (as an example): Branch:
Fork:
Not sure what is implied with On the other hand, if we skip filtering on date all together means that we will produce an array of new versions which is always equal to the number of open pull requests. And if we specify I think we need to filter on date somehow. |
Pull requests support filtering the timeline with a |
Could consider using
I.e., it's not immediately clear what prompted Github to create a new merge commit for this PR. And if we were to use that date instead of the |
Use committed date instead of pushed date (part of #22)
Closing this as it seems more likely that |
The fix for #22 makes github-pr-resource skip PRs if the the latest commit in a PR pushed has a later date than one in PR being pushed. This fix works around this by using `PushedDate` by default and resorting to `CommitDate` iff `PushedDate` is not available. This should bring the best of both worlds -- checks for all PRs on master and a chance for non-master-based PRs to be checked. Signed-off-by: Milan Plzik <[email protected]>
This means that pull requests from a fork will never be discovered - need to figure out an alternative.
The text was updated successfully, but these errors were encountered: