Show pageOld revisionsBacklinksODT exportBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. = media.ccc.de frontend == update from git The frontend is generated by nanoc. To increase visibility the project is hosted on github: https://github.com/voc/media-frontend However the deployment uses a seperate git server on koeln.media.ccc.de ''gitolite@koeln.media.ccc.de:media-frontend'' Setup local working repository: - git remote set origin git@github.com:voc/media-frontend.git - git remote add live gitolite@koeln.media.ccc.de:media-frontend - git co master - git reset --hard origin/master # (dangerous) Usual workflow: - git co master - git pull origin # resolve conflicts - git push live # if this fails big problem - git co deployment-media.ccc.de - git rebase master - git push -f live Never push the deployment-media.ccc.de branch to github, as it contains database passwords and such. media-frontend.txt Last modified: 2018/09/11 11:15by derpeter