Ling Fu

Why did you guys go with the `git push` workflow as the method for code submission? (as opposed to a web-based experience?)