Use git simple push method.

Signed-off-by: João Sampaio <jpmelos@gmail.com>
Stop using colors for directory listing.

Signed-off-by: João Sampaio <jpmelos@gmail.com>