TIL: 2013-07-23

Today I Learnt:

• Push a local git branch to a remote with different name:

git push origin local_branch:remote_branch 

• Nginx lua path refering to the nginx -p flag

  lua_package_path ";;$prefix/?.lua;";