media-frontend

media.ccc.de frontend

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:

  1. git remote set origin git@github.com:voc/media-frontend.git
  2. git remote add live gitolite@koeln.media.ccc.de:media-frontend
  3. git co master
  4. git reset –hard origin/master # (dangerous)

Usual workflow:

  1. git co master
  2. git pull origin # resolve conflicts
  3. git push live # if this fails big problem
  4. git co deployment-media.ccc.de
  5. git rebase master
  6. 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:15
  • by derpeter