Show pageOld revisionsBacklinksFold/unfold allODT 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: 2026/07/26 21:08by 127.0.0.1