Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Ignore onlyChanged on changes matching externals #355

Merged
merged 4 commits into from
Jun 2, 2021
Merged

Ignore onlyChanged on changes matching externals #355

merged 4 commits into from
Jun 2, 2021

Conversation

ghengeveld
Copy link
Member

@ghengeveld ghengeveld commented May 31, 2021 •
edited
Loading

@ghengeveld ghengeveld requested a review from tmeasday May 31, 2021 09:48
tmeasday
tmeasday approved these changes May 31, 2021
View reviewed changes
Copy link
Member

@tmeasday tmeasday left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@ghengeveld ghengeveld mentioned this pull request May 31, 2021
Closed
@ghengeveld ghengeveld merged commit f649879 into next Jun 2, 2021
@ghengeveld ghengeveld deleted the externals branch June 2, 2021 12:49
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@tmeasday tmeasday tmeasday approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Add a bail-out flag to only changed
2 participants
@ghengeveld @tmeasday