-
Notifications
You must be signed in to change notification settings - Fork 32
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
Automatic build script #557
Conversation
Codecov Report
@@ Coverage Diff @@
## master #557 +/- ##
===========================================
- Coverage 80.30% 23.58% -56.73%
===========================================
Files 22 22
Lines 3753 3753
===========================================
- Hits 3014 885 -2129
- Misses 739 2868 +2129
Flags with carried forward coverage won't be shown. Click here to find out more.
Continue to review full report at Codecov.
|
if [ -z "$changed" ]; then | ||
git log release_stable..HEAD --pretty=oneline | sed -e 's/[a-z0-9]+/\*/g' | ||
echo docs/changelog.md has not been updated since last release_stable | ||
echo Use the log lines above for inspiration. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nice touch!
echo Expected build images not found. Something went wrong. | ||
false | ||
fi | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nit: maybe delete /tmp/git_expected.txt and /tmp/git_status.txt as they are not needed beyond this point?
git push | ||
git push --tags | ||
|
||
faucetgit=`git config remote.faucet.url` |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This would be applicable if the users fork of the repo is set up as a remote called 'faucet'? If so, maybe add a comment to that affect?
Updated, PTAL |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm, thanks.
No description provided.