Skip to content
This repository was archived by the owner on Apr 16, 2024. It is now read-only.

Early exit when changelog not changed #880

Merged
merged 2 commits into from
Oct 18, 2018
Merged

Early exit when changelog not changed #880

merged 2 commits into from
Oct 18, 2018

Conversation

@kesselb
Copy link
Contributor

@kesselb kesselb commented Oct 18, 2018 •
edited
Loading

Description:

As discussed today exit build when changelog not changed.

@kesselb kesselb requested review from Gargamil and dboschm October 18, 2018 20:49
@kesselb
Copy link
Contributor Author

kesselb commented Oct 18, 2018 •
edited
Loading

image

(e.g. https://github.com/geli-lms/geli/runs/24790442)

@kesselb kesselb force-pushed the feature/noid/early-exit-on-changelog branch from c3e9a01 to 0bde400 Compare October 18, 2018 20:52
dboschm
dboschm approved these changes Oct 18, 2018
View reviewed changes
Copy link
Collaborator

@dboschm dboschm left a comment

Choose a reason for hiding this comment

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

Very Nice.

@dboschm dboschm merged commit 98e925b into develop Oct 18, 2018
@dboschm dboschm deleted the feature/noid/early-exit-on-changelog branch October 18, 2018 22:33
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@Gargamil Gargamil Awaiting requested review from Gargamil

1 more reviewer

@dboschm dboschm dboschm approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@kesselb @dboschm