h759bkyo4/Documentation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add date and time to deployment script

Browse source
This commit is contained in:
n 2021-05-14 20:18:58 +09:00
parent 6cde47928a
commit 19feb92e29
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
deploy.sh
View file

@ -7,7 +7,7 @@ git clone git@codeberg.org:docs/pages.git pages.git
rsync -av _site/* pages.git/
( cd pages.git && git checkout --orphan current ) ## create new branch at origin
( cd pages.git && git add -A ) ## add all generated files
( cd pages.git && git commit -am "deployment" ) ## commit all
( cd pages.git && git commit -am "Deployment at $(date -u -Is)" ) ## commit all
( cd pages.git && git branch -D main ) ## delete old main branch incl. history
( cd pages.git && git branch -m main ) ## rename current branch to main
( cd pages.git && git push -f origin main ) ## force-push and rewrite (empty) history