projects
/
youtube-dl
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Simplify release process
[youtube-dl]
/
devscripts
/
release.sh
diff --git
a/devscripts/release.sh
b/devscripts/release.sh
index 796468b4b3aee3e603ddb919535bfde281cd71e5..2766174c1a8477519eb818f287897ebc93d04a72 100755
(executable)
--- a/
devscripts/release.sh
+++ b/
devscripts/release.sh
@@
-88,10
+88,6
@@
ROOT=$(pwd)
"$ROOT/devscripts/gh-pages/update-sites.py"
git add *.html *.html.in update
git commit -m "release $version"
"$ROOT/devscripts/gh-pages/update-sites.py"
git add *.html *.html.in update
git commit -m "release $version"
- git show HEAD
- read -p "Is it good, can I push? (y/n) " -n 1
- if [[ ! $REPLY =~ ^[Yy]$ ]]; then exit 1; fi
- echo
git push "$ROOT" gh-pages
git push "$ORIGIN_URL" gh-pages
)
git push "$ROOT" gh-pages
git push "$ORIGIN_URL" gh-pages
)