Commit eb452680 authored by José Henrique's avatar José Henrique
Browse files

Improve logging on pushToGit

parent 942b4668
......@@ -81,11 +81,11 @@ function pushToGit() {
${GIT_CMD} push origin master
RESULT=$?
if [ "$RESULT" -eq 0 ]; then
message="JSON linted and pushed."
message="Pushed to https://github.com/PixelExperience/official_devices."
echo -e "$message"
sendTG "$message"
else
message="Failed to lint and push json."
message="Failed to push to https://github.com/PixelExperience/official_devices."
echo -e "$message"
sendTG "$message"
exit 1
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment