= 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.