Updated git_push to reflect repo.or.cz changes.
treecb7d177552eb5aa63f7aa2baf63142288b03f74c
-rwxr-xr-x 6 .gitignore
-rwxr-xr-x 31 Makefile
-rw-r--r-- 2495 final.c
-rw-r--r-- 65 git_push