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.

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

also run checks on changed files when target branch for PR is something different than 'develop' #7034

Merged
merged 3 commits into from Oct 16, 2018

Conversation

boegel
Copy link
Member

@boegel boegel commented Oct 16, 2018

fix for failure to catch missing checksum issue in #7022 (which is fixed in #7033)

@boegel boegel added the bug fix label Oct 16, 2018
@boegel boegel added this to the 3.7.1 milestone Oct 16, 2018
Copy link
Member

@migueldiascosta migueldiascosta left a comment

Choose a reason for hiding this comment

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

lgtm

@easybuilders easybuilders deleted a comment from boegelbot Oct 16, 2018
@easybuilders easybuilders deleted a comment from boegelbot Oct 16, 2018
@boegel boegel requested a review from vanzod October 16, 2018 15:16
@vanzod
Copy link
Member

vanzod commented Oct 16, 2018

Going in, thanks @boegel!

@vanzod vanzod merged commit 4e9d2b9 into easybuilders:3.7.x Oct 16, 2018
@boegel boegel deleted the fix_check_changed_files branch October 16, 2018 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants