Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Handle case where Dpulls is not installed on the specified repository #7

Closed
support-dpulls opened this issue Jul 9, 2020 · 3 comments
Closed

Handle case where Dpulls is not installed on the specified repository #7

support-dpulls opened this issue Jul 9, 2020 · 3 comments
Labels
enhancement New feature or request

Comments

@support-dpulls
Copy link

If Dpulls is not installed on the specified list of dependencies, send a comment to warn the user and process the rest. The concerned repo will just be ignored.
@support-dpulls support-dpulls added the enhancement New feature or request label Jul 9, 2020
@support-dpulls
Copy link
Author

Resolved!

@support-dpulls
Copy link
Author

Actually this was partially resolved. It has been fixed when the dependency PR belongs to a different organization but not when it's the same org different repo. Reopening.

@support-dpulls support-dpulls mentioned this issue Jul 27, 2020
Merged
@support-dpulls
Copy link
Author

Resolved!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@support-dpulls